Fri, 24 Apr 2009 17:45:15 +0200 |
haftmann |
funpow and relpow with shared "^^" syntax
|
file |
diff |
annotate
|
Mon, 20 Apr 2009 09:32:07 +0200 |
haftmann |
power operation on functions with syntax o^; power operation on relations with syntax ^^
|
file |
diff |
annotate
|
Thu, 26 Mar 2009 20:08:55 +0100 |
wenzelm |
interpretation/interpret: prefixes are mandatory by default;
|
file |
diff |
annotate
|
Mon, 26 Jan 2009 22:14:18 +0100 |
haftmann |
stripped Id
|
file |
diff |
annotate
|
Mon, 15 Dec 2008 18:12:52 +0100 |
ballarin |
More porting to new locales.
|
file |
diff |
annotate
|
Tue, 10 Jun 2008 23:28:35 +0200 |
wenzelm |
proper deletion of nat cases/induct rules from type_definition;
|
file |
diff |
annotate
|
Tue, 10 Jun 2008 21:49:37 +0200 |
wenzelm |
more robust declaration of nat_induct;
|
file |
diff |
annotate
|
Fri, 04 Apr 2008 13:40:27 +0200 |
haftmann |
tuned
|
file |
diff |
annotate
|
Fri, 02 Nov 2007 12:35:27 +0100 |
kleing |
Added reference to Jeremy Dawson's paper on the word library.
|
file |
diff |
annotate
|
Mon, 20 Aug 2007 18:11:09 +0200 |
huffman |
headers for document generation
|
file |
diff |
annotate
|
Mon, 20 Aug 2007 04:34:31 +0200 |
kleing |
* HOL-Word:
|
file |
diff |
annotate
|