| 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 |
| Mon, 28 Apr 2008 14:41:32 +0200 | wenzelm | added AND, IS, WHERE symbols; | changeset | files |
| Mon, 28 Apr 2008 14:22:42 +0200 | wenzelm | converted syntax.tex to Thy/syntax.thy; | changeset | files |