helm/software/helena/examples/exp_math/preamble.hln

   1 \* Systematic Explicit Mathematics
   2  * [1] F. Feferman: A language and axioms for explicit mathematics.
   3  *     Lecture Notes in Mathematics, 450. Springer (1975). pp 87-139.
   4  *\
   5
   6 \* Development started: 2010 Feb 20 *\
   7
   8 \graph Z3
   9
  10 \sorts Prop, Obj, Term