changeset 48483 | 9bfb6978eb80 |
parent 48475 | 02dd825f5a4e |
child 48738 | f8c1a5b9488f |
--- a/src/FOLP/ROOT Tue Jul 24 20:41:50 2012 +0200 +++ b/src/FOLP/ROOT Tue Jul 24 20:42:34 2012 +0200 @@ -7,6 +7,7 @@ Presence of unknown proof term means that matching does not behave as expected. *} + options [document = false] theories FOLP session ex = FOLP + @@ -16,6 +17,7 @@ Examples for First-Order Logic. *} + options [document = false] theories Intro Nat