Thu, 13 Nov 2008 21:31:25 +0100 | wenzelm | renamed "formal comments" to "document comments"; | changeset | files |
Thu, 13 Nov 2008 21:30:41 +0100 | wenzelm | tuned "Markup commands"; | changeset | files |
Thu, 13 Nov 2008 21:29:19 +0100 | wenzelm | tuned intro of "Document preparation"; | changeset | files |
Thu, 13 Nov 2008 21:25:42 +0100 | wenzelm | reworked "Defining Theories"; | changeset | files |
Thu, 13 Nov 2008 17:56:36 +0100 | haftmann | removed Assert.thy | changeset | files |
Thu, 13 Nov 2008 15:59:36 +0100 | haftmann | dropped superfluos eval_conv | changeset | files |