| Tue, 29 Apr 2008 19:55:02 +0200 | haftmann | added lemma antiquotation | changeset | files |
| Tue, 29 Apr 2008 15:25:50 +0200 | haftmann | proper input abbreviations in class | changeset | files |
| Tue, 29 Apr 2008 13:41:11 +0200 | wenzelm | replaced various macros by antiquotations; | changeset | files |
| Tue, 29 Apr 2008 13:39:54 +0200 | wenzelm | more ref macros; | changeset | files |
| Tue, 29 Apr 2008 13:39:32 +0200 | wenzelm | session based on HOL; | changeset | files |
| Mon, 28 Apr 2008 20:21:11 +0200 | haftmann | thms Max_ge, Min_le: dropped superfluous premise | changeset | files |
| Mon, 28 Apr 2008 14:42:13 +0200 | wenzelm | proper command/keyword markup; | changeset | files |