Mon, 12 Sep 2011 07:55:43 +0200 |
new fastforce replacing fastsimp - less confusing name
|
file | diff | annotate |
Thu, 09 Sep 2010 16:47:03 +0100 |
Tidied up proofs using sledgehammer, also deleting unnecessary semicolons
|
file | diff | annotate |
Thu, 22 Jul 2010 18:08:39 +0200 |
updated some headers;
|
file | diff | annotate |
Wed, 12 May 2010 16:44:49 +0200 |
modernized specifications;
|
file | diff | annotate |
Sat, 17 Oct 2009 14:43:18 +0200 |
eliminated hard tabulators, guessing at each author's individual tab-width;
|
file | diff | annotate |
Wed, 11 Jul 2007 11:14:51 +0200 |
Adapted to new inductive definition package.
|
file | diff | annotate |
Fri, 17 Nov 2006 02:20:03 +0100 |
more robust syntax for definition/abbreviation/notation;
|
file | diff | annotate |
Thu, 28 Sep 2006 23:42:35 +0200 |
replaced syntax/translations by abbreviation;
|
file | diff | annotate |
Wed, 01 Feb 2006 15:22:02 +0100 |
new and updated protocol proofs by Giamp Bella
|
file | diff | annotate |