| Wed, 28 Mar 2012 12:08:08 +0200 |
wenzelm |
simplified statements and proofs;
|
file |
diff |
annotate
|
| Sat, 14 Jan 2012 16:14:22 +0100 |
wenzelm |
tuned white space;
|
file |
diff |
annotate
|
| Sun, 20 Nov 2011 21:05:23 +0100 |
wenzelm |
eliminated obsolete "standard";
|
file |
diff |
annotate
|
| Wed, 18 Aug 2010 16:59:36 +0200 |
haftmann |
robustified proof
|
file |
diff |
annotate
|
| Mon, 26 Jul 2010 17:41:26 +0200 |
wenzelm |
modernized/unified some specifications;
|
file |
diff |
annotate
|
| Mon, 01 Mar 2010 13:40:23 +0100 |
haftmann |
replaced a couple of constsdefs by definitions (also some old primrecs by modern ones)
|
file |
diff |
annotate
|
| Wed, 10 Feb 2010 00:50:36 +0100 |
wenzelm |
removed obsolete CVS Ids;
|
file |
diff |
annotate
|
| Wed, 10 Feb 2010 00:45:16 +0100 |
wenzelm |
modernized syntax translations, using mostly abbreviation/notation;
|
file |
diff |
annotate
|
| Sat, 17 Oct 2009 14:43:18 +0200 |
wenzelm |
eliminated hard tabulators, guessing at each author's individual tab-width;
|
file |
diff |
annotate
|
| Sun, 30 Sep 2007 21:55:15 +0200 |
wenzelm |
avoid internal names;
|
file |
diff |
annotate
|
| Sun, 29 Jul 2007 14:29:52 +0200 |
wenzelm |
replaced make_imp by rev_mp;
|
file |
diff |
annotate
|
| Wed, 11 Jul 2007 11:16:34 +0200 |
berghofe |
Renamed inductive2 to inductive.
|
file |
diff |
annotate
|
| Mon, 11 Dec 2006 16:06:14 +0100 |
berghofe |
Adapted to new inductive definition package.
|
file |
diff |
annotate
|
| Wed, 21 Dec 2005 12:02:57 +0100 |
paulson |
removed or modified some instances of [iff]
|
file |
diff |
annotate
|
| Fri, 17 Jun 2005 16:12:49 +0200 |
haftmann |
migrated theory headers to new format
|
file |
diff |
annotate
|