| Thu, 11 Mar 2010 15:33:45 +0100 | blanchet | added a mechanism to Nitpick to support custom rendering of terms, and used it for multisets | changeset | files |
| Thu, 11 Mar 2010 12:22:11 +0100 | blanchet | added term postprocessor to Nitpick, to provide custom syntax for typedefs | changeset | files |
| Thu, 11 Mar 2010 10:13:24 +0100 | blanchet | made "Manual_Nits" tests more robust | changeset | files |
| Thu, 11 Mar 2010 09:09:51 +0100 | haftmann | merged | changeset | files |
| Thu, 11 Mar 2010 09:09:43 +0100 | haftmann | made smlnj happy | changeset | files |
| Wed, 10 Mar 2010 16:06:48 -0800 | huffman | replace Nat_Int_Bij with Nat_Bijection in ROOT.ML | changeset | files |
| Wed, 10 Mar 2010 16:00:51 -0800 | huffman | remove obsolete theory Nat_Int_Bij | changeset | files |