src/LCF/ex/Ex4.thy
author oheimb
Fri Jun 02 20:38:28 2000 +0200 (2000-06-02)
changeset 9028 8a1ec8f05f14
parent 4905 be73ddff6c5a
child 17248 81bf91654e73
permissions -rw-r--r--
added HOL/Prolog
     1 
     2 (*** Prefixpoints ***)
     3 
     4 Ex4 = LCF