Thu, 16 Dec 2010 12:05:00 +0000 | paulson | made sml/nj happy | changeset | files |
Thu, 16 Dec 2010 11:31:22 +0100 | bulwahn | removing file refute_isar.ML that was missed in 4006f5c3f421 | changeset | files |
Thu, 16 Dec 2010 11:31:07 +0100 | bulwahn | added nitpick to mutabelle script | changeset | files |