| Mon, 05 May 2008 15:27:13 +0200 | wenzelm | removed isasymIN -- already defined in isar.sty; | changeset | files |
| Mon, 05 May 2008 15:23:59 +0200 | wenzelm | added isasymIN/STRUCTURE; | changeset | files |
| Mon, 05 May 2008 15:23:21 +0200 | wenzelm | converted generic.tex to Thy/Generic.thy; | changeset | files |
| Sun, 04 May 2008 21:34:44 +0200 | wenzelm | removed isasymIMPORTS/BEGIN -- already defined in isar.sty; | changeset | files |
| Sat, 03 May 2008 13:36:11 +0200 | wenzelm | tuned syntax: props and facts; | changeset | files |
| Sat, 03 May 2008 13:26:08 +0200 | wenzelm | converted refcard.tex to Thy/Quick_Reference.thy; | changeset | files |