Wed, 11 Jul 2012 21:43:19 +0200 | blanchet | generate ATP dependencies | changeset | files |
Wed, 11 Jul 2012 13:59:39 +0200 | bulwahn | merged | changeset | files |
Wed, 11 Jul 2012 13:54:37 +0200 | bulwahn | adding three variants of the Needham-Schroeder formalisation as case studies for Quickcheck | changeset | files |