Tue, 03 Nov 2009 18:32:30 -0800 | huffman | domain package registers fixrec_simp lemmas | changeset | files |
Tue, 03 Nov 2009 17:09:27 -0800 | huffman | merged | changeset | files |
Tue, 03 Nov 2009 17:03:21 -0800 | huffman | add fixrec_simp attribute and method (eventually to replace fixpat) | changeset | files |