Mon, 23 Jan 2012 17:40:32 +0100 | blanchet | renamed theory exporter | changeset | files |
Mon, 23 Jan 2012 17:40:32 +0100 | blanchet | renamed two files to make room for a new file | changeset | files |
Mon, 23 Jan 2012 17:40:31 +0100 | blanchet | rebranded Nitrox, for more uniformity | changeset | files |
Mon, 23 Jan 2012 17:40:31 +0100 | blanchet | moved "nitrox" to TPTP | changeset | files |
Mon, 23 Jan 2012 17:29:19 +0100 | huffman | generalize type of List.listrel | changeset | files |
Mon, 23 Jan 2012 15:23:02 +0100 | bulwahn | support for Ex1 in quickcheck-narrowing | changeset | files |
Mon, 23 Jan 2012 15:22:33 +0100 | bulwahn | adding another internal constant to mutabelle's blacklust | changeset | files |