| Tue, 10 Jul 2012 23:36:03 +0200 | blanchet | generate theory name as a feature | changeset | files |
| Tue, 10 Jul 2012 18:41:34 +0200 | bulwahn | adding an example using Quickcheck to find a valid trace for the needham-schroeder protocol (a case study for Quickcheck) | changeset | files |
| Tue, 10 Jul 2012 13:45:08 +0200 | bulwahn | merged | changeset | files |