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 |