| Sun, 20 Jul 2008 11:19:08 +0200 |
(adjusted)
|
file | diff | annotate |
| Fri, 02 Nov 2007 16:38:14 +0100 |
recdef to fun
|
file | diff | annotate |
| Fri, 02 Nov 2007 08:59:15 +0100 |
recdef -> fun
|
file | diff | annotate |
| Fri, 17 Jun 2005 16:12:49 +0200 |
migrated theory headers to new format
|
file | diff | annotate |
| Fri, 20 Feb 2004 14:22:51 +0100 |
new "where" section
|
file | diff | annotate |
| Fri, 30 Aug 2002 16:42:45 +0200 |
removal of blast.overloaded
|
file | diff | annotate |
| Wed, 05 Dec 2001 15:36:36 +0100 |
adapted intr/elim uses;
|
file | diff | annotate |
| Mon, 12 Nov 2001 10:56:38 +0100 |
new-style numerals without leading #, along with generic 0 and 1
|
file | diff | annotate |
| Mon, 08 Oct 2001 14:29:02 +0200 |
fixed numerals;
|
file | diff | annotate |
| Wed, 08 Aug 2001 14:50:28 +0200 |
Getting it working again with 1' instead of 1
|
file | diff | annotate |
| Wed, 11 Jul 2001 14:00:48 +0200 |
tweaks for new version
|
file | diff | annotate |
| Mon, 22 Jan 2001 11:02:53 +0100 |
arg_cong example; tidying to use @subgoals
|
file | diff | annotate |
| Fri, 12 Jan 2001 16:05:12 +0100 |
general revisions
|
file | diff | annotate |
| Wed, 10 Jan 2001 11:09:11 +0100 |
reformatting, and splitting the end of "Primes" to create "Forward"
|
file | diff | annotate |