2011-09-14 | boehmes | observe distinction between sets and predicates | changeset | files |
2011-09-14 | nipkow | merged | changeset | files |
2011-09-14 | nipkow | cleand up AbsInt fixpoint iteration; tuned syntax | changeset | files |
2011-09-14 | huffman | tuned proofs | changeset | files |
2011-09-14 | huffman | tuned proofs | changeset | files |
2011-09-13 | huffman | remove some redundant [simp] declarations; | changeset | files |
2011-09-13 | noschinl | tune proofs | changeset | files |
2011-09-13 | noschinl | tune simpset for Complete_Lattices | changeset | files |
2011-09-13 | bulwahn | merged | changeset | files |
2011-09-13 | bulwahn | added lemma motivated by a more specific lemma in the AFP-KBPs theories | changeset | files |
2011-09-13 | blanchet | simplified unsound proof detection by removing impossible case | changeset | files |
2011-09-13 | bulwahn | correcting NEWS | changeset | files |
Loading... |