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 |