| Thu, 04 Aug 2011 17:40:48 +0200 | berghofe | Pending FDL types may now be associated with Isabelle types as well. | changeset | files |
| Thu, 04 Aug 2011 07:33:08 +0200 | haftmann | tuned orthography | changeset | files |
| Thu, 04 Aug 2011 07:31:59 +0200 | haftmann | avoid yet unknown fact antiquotation | changeset | files |
| Thu, 04 Aug 2011 07:31:43 +0200 | haftmann | NEWS | changeset | files |
| Wed, 03 Aug 2011 23:21:53 +0200 | haftmann | more specific instantiation | changeset | files |
| Wed, 03 Aug 2011 23:21:52 +0200 | haftmann | tuned | changeset | files |
| Wed, 03 Aug 2011 23:21:52 +0200 | haftmann | class complete_distrib_lattice | changeset | files |
| Wed, 03 Aug 2011 16:08:02 +0200 | bulwahn | NEWS | changeset | files |
| Wed, 03 Aug 2011 14:24:23 +0200 | bulwahn | removing value invocations with the SML code generator | changeset | files |
| Wed, 03 Aug 2011 13:59:59 +0200 | bulwahn | removing the SML evaluator | changeset | files |
| Wed, 03 Aug 2011 11:09:12 +0200 | kleing | fixed wrong isubs in IMP/Types | changeset | files |
| Tue, 02 Aug 2011 08:28:34 -0700 | huffman | Extended_Nat.thy: renamed iSuc to eSuc, standardized theorem names | changeset | files |