Sat, 28 Feb 2009 14:09:58 +0100 | wenzelm | removed Ids; | changeset | files |
Sat, 28 Feb 2009 14:02:12 +0100 | wenzelm | moved some generic tools to src/Tools/ -- src/Provers is essentially obsolete; | changeset | files |
Sat, 28 Feb 2009 13:54:47 +0100 | wenzelm | some updates on ancient README; | changeset | files |
Fri, 27 Feb 2009 19:05:46 -0800 | huffman | fixrec package uses new-style syntax and local-theory interface | changeset | files |
Fri, 27 Feb 2009 18:34:20 -0800 | huffman | add function taken_names | changeset | files |
Fri, 27 Feb 2009 15:39:35 -0800 | huffman | merged | changeset | files |
Fri, 27 Feb 2009 15:37:56 -0800 | huffman | make list-style polynomial syntax work when show_sorts is on | changeset | files |