changeset 42651 | e3fdb7c96be5 |
parent 29735 | 1da96affdefe |
child 45103 | a45121ffcfcb |
--- a/doc-src/IsarRef/Thy/First_Order_Logic.thy Tue May 03 14:23:40 2011 +0200 +++ b/doc-src/IsarRef/Thy/First_Order_Logic.thy Tue May 03 15:07:36 2011 +0200 @@ -2,7 +2,7 @@ header {* Example: First-Order Logic *} theory %visible First_Order_Logic -imports Pure +imports Base (* FIXME Pure!? *) begin text {*