Wed, 04 Mar 2009 15:33:07 +0100 | blanchet | merged | changeset | files |
Wed, 04 Mar 2009 15:32:57 +0100 | blanchet | Added "nitpick_const_simp" attribute to Nominal primrec. | changeset | files |
Wed, 04 Mar 2009 14:23:54 +0100 | wenzelm | NEWS: renamed o2s to Option.set; | changeset | files |