Wed, 23 Sep 2009 13:47:08 +0200 | blanchet | Added "nitpick_const_simp" tags to lazy list theories. | changeset | files |
Wed, 23 Sep 2009 13:48:35 +0200 | krauss | atbroy101 is long dead, use atbroy99; comment out broken SML test invocation | changeset | files |
Wed, 23 Sep 2009 13:42:53 +0200 | haftmann | merged | changeset | files |