(* *)
(**************************************************************************)
-set "baseuri" "cic:/matita/LOGIC/datatypes_defs/Formula".
+
(* FORMULAE
- Naming policy:
- formulae: a b c d
*)
-include "preamble.ma".
+include "preamble0.ma".
inductive Formula: Type \def
| posr: Nat \to Formula