| Tue, 13 Sep 2011 16:22:01 +0200 | noschinl | tune proofs | changeset | files |
| Tue, 13 Sep 2011 16:21:48 +0200 | noschinl | tune simpset for Complete_Lattices | changeset | files |
| Tue, 13 Sep 2011 13:17:52 +0200 | bulwahn | merged | changeset | files |
| Tue, 13 Sep 2011 12:14:29 +0200 | bulwahn | added lemma motivated by a more specific lemma in the AFP-KBPs theories | changeset | files |
| Tue, 13 Sep 2011 11:24:58 +0200 | blanchet | simplified unsound proof detection by removing impossible case | changeset | files |
| Tue, 13 Sep 2011 09:56:38 +0200 | bulwahn | correcting NEWS | changeset | files |
| Tue, 13 Sep 2011 09:28:03 +0200 | bulwahn | correcting theory name and dependencies | changeset | files |
| Tue, 13 Sep 2011 09:25:19 +0200 | bulwahn | renamed AList_Impl to AList | changeset | files |