diff options
| author |  Makarius Wenzel <makarius@sketis.net> | 1999-08-18 19:26:50 +0000 |
|---|---|---|
| committer | Makarius Wenzel <makarius@sketis.net> | 1999-08-18 19:26:50 +0000 |
| commit | 63d0c2ee1db8b70e7fd4d1f3052d4a95dce0a0ec (patch) | |
| tree | b16939d41bebfb2b62becfa4a90a5e43d3c181cb /isar/Example.thy | |
| parent | 13673998f7d36e2700433d7d0c4432eaeef5b4be (diff) | |
tuned;
Diffstat (limited to 'isar/Example.thy')
| -rw-r--r-- | isar/Example.thy | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/isar/Example.thy b/isar/Example.thy index f1657227..84d56e14 100644 --- a/isar/Example.thy +++ b/isar/Example.thy @@ -22,7 +22,7 @@ proof; qed; text {* - This one is a good test for ProofGeneral to cope with block-structured + This one is a good test for Proof General to cope with block-structured proof texts. Have fun with automatic indentation! *}; |