| Sat, 22 May 2010 12:36:50 -0700 | huffman | remove fixrec_simp attribute; fixrec uses default simpset from theory context instead | changeset | files |
| Sat, 22 May 2010 10:02:07 -0700 | huffman | remove cont2cont simproc; instead declare cont2cont rules as simp rules | changeset | files |
| Sat, 22 May 2010 08:30:40 -0700 | huffman | domain package internal proofs use fixed set of continuity rules, rather than taking cont2cont rules from context | changeset | files |