Tue, 19 Aug 2014 09:34:27 +0200 | blanchet | documented slight incompatibility in NEWS | changeset | files |
Mon, 18 Aug 2014 19:18:08 +0200 | blanchet | removed junk | changeset | files |
Mon, 18 Aug 2014 19:16:51 +0200 | blanchet | updated docs | changeset | files |
Mon, 18 Aug 2014 19:16:30 +0200 | blanchet | set attributes on 'set_cases' theorem | changeset | files |
Mon, 18 Aug 2014 18:48:39 +0200 | blanchet | cleaned up derivation of 'sset_induct' | changeset | files |
Mon, 18 Aug 2014 17:20:14 +0200 | blanchet | tuning | changeset | files |
Mon, 18 Aug 2014 17:20:13 +0200 | blanchet | added collection theorem for consistency and convenience | changeset | files |