Wed, 19 May 2010 16:08:41 -0700 | huffman | remove unnecessary constant Fixrec.bind | changeset | files |
Wed, 19 May 2010 14:38:25 -0700 | huffman | add section about fixrec definitions with looping simp rules | changeset | files |
Wed, 19 May 2010 13:07:15 -0700 | huffman | more informative error message for fixrec when continuity proof fails | changeset | files |