| changeset 20450 | 725a91601ed1 |
| parent 20438 | 9060c73a4578 |
| child 20451 | 27ea2ba48fa3 |
--- a/doc-src/IsarImplementation/Thy/document/logic.tex Thu Aug 31 17:33:55 2006 +0200 +++ b/doc-src/IsarImplementation/Thy/document/logic.tex Thu Aug 31 18:27:40 2006 +0200 @@ -19,7 +19,7 @@ % \endisadelimtheory % -\isamarkupchapter{Pure logic% +\isamarkupchapter{Primitive logic% } \isamarkuptrue% %