| Thu, 05 Jul 2012 16:07:15 +0200 | blanchet | fiddled with "tags_at" a bit -- the only non-tuning part of the change is a slight simplification of the typing axioms | changeset | files |
| Thu, 05 Jul 2012 16:07:15 +0200 | blanchet | remove needless type arguments to "tags_at" encoding | changeset | files |
| Thu, 05 Jul 2012 22:12:42 +0200 | wenzelm | removed obsolete psbooklet; | changeset | files |
| Thu, 05 Jul 2012 22:12:03 +0200 | wenzelm | more directory structure; | changeset | files |
| Thu, 05 Jul 2012 17:18:55 +0200 | wenzelm | explicit is better than implicit; | changeset | files |
| Thu, 05 Jul 2012 16:58:03 +0200 | wenzelm | removed obsolete rev_contrapos (cf. 1d195de59497); | changeset | files |
| Thu, 05 Jul 2012 16:53:29 +0200 | wenzelm | tuned proofs -- eliminated old-fashioned COMP and rev_contrapos; | changeset | files |