| Sat, 21 Apr 2012 14:53:04 +0200 | wenzelm | some builtin session timing; | changeset | files |
| Sat, 21 Apr 2012 13:12:27 +0200 | huffman | move alternative definition lemmas into Lifting.thy; | changeset | files |
| Sat, 21 Apr 2012 13:06:22 +0200 | huffman | tuned proofs | changeset | files |
| Sat, 21 Apr 2012 11:21:23 +0200 | huffman | add transfer rule for List.set | changeset | files |
| Sat, 21 Apr 2012 11:04:21 +0200 | huffman | remove duplicate of lemma id_transfer | changeset | files |
| Sat, 21 Apr 2012 11:02:01 +0200 | huffman | added covariant relator set_rel, with transfer rules for set operations | changeset | files |
| Sat, 21 Apr 2012 10:59:52 +0200 | huffman | renamed contravariant relator set_rel to vset_rel, to make room for new covariant relator | changeset | files |