Sat, 22 May 2010 13:27:36 -0700 | huffman | removed fixrec_simp attribute (cf. a2a1c8a658ef) | changeset | files |
Sat, 22 May 2010 12:56:33 -0700 | huffman | simplify definition of eta_tac | changeset | files |
Sat, 22 May 2010 12:36:50 -0700 | huffman | remove fixrec_simp attribute; fixrec uses default simpset from theory context instead | changeset | files |