| changeset 61656 | cfabbc083977 |
| parent 61580 | c49a8ebd30cc |
| child 62271 | 4cfe65cfd369 |
| 61655:f217bbe4e93e | 61656:cfabbc083977 |
|---|---|
1 (*:maxLineLen=78:*) |
|
1 |
2 |
2 section \<open>Example: First-Order Logic\<close> |
3 section \<open>Example: First-Order Logic\<close> |
3 |
4 |
4 theory %visible First_Order_Logic |
5 theory %visible First_Order_Logic |
5 imports Base (* FIXME Pure!? *) |
6 imports Base (* FIXME Pure!? *) |