Sun, 11 Dec 2011 18:22:06 +0100 | nipkow | added IMP/Live_True.thy | changeset | files |
Sun, 11 Dec 2011 09:55:57 +0100 | huffman | replace many uses of 'lemmas' with 'lemma'; | changeset | files |
Sat, 10 Dec 2011 22:00:42 +0100 | huffman | prove class instances without extra lemmas | changeset | files |