| Wed, 13 Aug 2008 20:57:20 +0200 | wenzelm | removed obsolete untabify (superceded by SymbolPos.tabify_content); | changeset | files |
| Wed, 13 Aug 2008 20:57:18 +0200 | wenzelm | tuned document; | changeset | files |
| Wed, 13 Aug 2008 20:57:16 +0200 | wenzelm | removed obsolete theorems; | changeset | files |
| Wed, 13 Aug 2008 03:00:33 +0200 | berghofe | Changed proof of strong induction rule to avoid infinite loop | changeset | files |