Tableaux.Prelude.Core

Prelude.Core: everything defined in the prelude except instances.

From Tableaux Require Export Prelude.Init.
From Tableaux Require Export Prelude.Classes.
From Tableaux Require Export Prelude.Ind.
From Tableaux Require Export Prelude.Sets.
From Tableaux Require Export Prelude.Utils.
From Tableaux Require Export Prelude.Atoms.
From Tableaux Require Export Prelude.LocallyNamelessClasses.