Sun, 27 Jan 2008 20:04:31 +0100 |
wenzelm |
added bind_thms;
|
file |
diff |
annotate
|
Wed, 15 Feb 2006 21:34:55 +0100 |
wenzelm |
removed distinct, renamed gen_distinct to distinct;
|
file |
diff |
annotate
|
Wed, 08 Feb 2006 14:39:00 +0100 |
haftmann |
introduced gen_distinct in place of distinct
|
file |
diff |
annotate
|
Sun, 18 Sep 2005 14:25:48 +0200 |
wenzelm |
converted to Isar theory format;
|
file |
diff |
annotate
|
Thu, 03 Mar 2005 12:43:01 +0100 |
skalberg |
Move towards standard functions.
|
file |
diff |
annotate
|
Thu, 06 Jul 2000 13:11:32 +0200 |
paulson |
removal of batch style, and tidying
|
file |
diff |
annotate
|
Fri, 10 Oct 1997 16:29:41 +0200 |
wenzelm |
fixed dots;
|
file |
diff |
annotate
|
Mon, 29 Jan 1996 13:58:15 +0100 |
clasohm |
expanded tabs
|
file |
diff |
annotate
|
Fri, 02 Jun 1995 10:38:48 +0200 |
lcp |
Corrected comments in headers
|
file |
diff |
annotate
|
Thu, 16 Sep 1993 12:20:38 +0200 |
clasohm |
Initial revision
|
file |
diff |
annotate
|