Tableaux.Prelude.All

Prelude.Core: everything defined in the prelude, including instances.


From Tableaux Require Export Prelude.Core.
From Tableaux Require Export Prelude.AtomInstances.