| changeset 58889 | 5b7a9633cfa8 |
| parent 58618 | 782f0b662cae |
| child 58999 | ed09ae4ea2d8 |
--- a/src/Doc/Isar_Ref/First_Order_Logic.thy Sun Nov 02 18:21:14 2014 +0100 +++ b/src/Doc/Isar_Ref/First_Order_Logic.thy Sun Nov 02 18:21:45 2014 +0100 @@ -1,5 +1,5 @@ -header \<open>Example: First-Order Logic\<close> +section \<open>Example: First-Order Logic\<close> theory %visible First_Order_Logic imports Base (* FIXME Pure!? *)