| Wed, 14 Sep 2011 23:46:02 +0200 | haftmann | updated generated code | changeset | files |
| Tue, 13 Sep 2011 07:56:46 +0200 | haftmann | tuned | changeset | files |
| Wed, 14 Sep 2011 10:08:52 -0400 | hoelzl | renamed Complete_Lattices lemmas, removed legacy names | changeset | files |
| Wed, 14 Sep 2011 10:55:07 +0200 | noschinl | merged | changeset | files |
| Wed, 14 Sep 2011 10:24:22 +0200 | noschinl | create central list for language extensions used by the haskell code generator | changeset | files |
| Wed, 14 Sep 2011 09:46:59 +0200 | boehmes | observe distinction between sets and predicates | changeset | files |
| Wed, 14 Sep 2011 06:49:24 +0200 | nipkow | merged | changeset | files |
| Wed, 14 Sep 2011 06:49:01 +0200 | nipkow | cleand up AbsInt fixpoint iteration; tuned syntax | changeset | files |
| Tue, 13 Sep 2011 17:25:19 -0700 | huffman | tuned proofs | changeset | files |
| Tue, 13 Sep 2011 17:07:33 -0700 | huffman | tuned proofs | changeset | files |
| Tue, 13 Sep 2011 08:21:51 -0700 | huffman | remove some redundant [simp] declarations; | changeset | files |
| 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 |