Fri, 20 Apr 2012 20:21:22 +0200 | wenzelm | builtin timing for main operations; | changeset | files |
Fri, 20 Apr 2012 15:49:45 +0200 | huffman | add secondary transfer rule for universal quantifiers on non-bi-total relations | changeset | files |
Fri, 20 Apr 2012 15:34:33 +0200 | huffman | move definition of set_rel into Library/Quotient_Set.thy | changeset | files |
Fri, 20 Apr 2012 15:30:13 +0200 | huffman | add transfer rule for 'id' | changeset | files |
Fri, 20 Apr 2012 14:57:19 +0200 | huffman | add new transfer rules and setup for lifting package | changeset | files |
Fri, 20 Apr 2012 10:37:00 +0200 | huffman | setup_lifting preprocesses forall_transfer rule by unfolding mem_Collect_eq | changeset | files |