| Wed, 22 Apr 2009 19:16:02 +0200 |
haftmann |
dropped duplication
|
file |
diff |
annotate
|
| Wed, 22 Apr 2009 19:12:15 +0200 |
haftmann |
code_datatype and power
|
file |
diff |
annotate
|
| Mon, 20 Apr 2009 16:28:13 +0200 |
haftmann |
merged
|
file |
diff |
annotate
|
| Mon, 20 Apr 2009 09:52:16 +0200 |
haftmann |
changes in power operations
|
file |
diff |
annotate
|
| Fri, 17 Apr 2009 16:41:31 +0200 |
haftmann |
formal declaration of undefined parameters after class instantiation
|
file |
diff |
annotate
|
| Fri, 17 Apr 2009 15:57:26 +0200 |
haftmann |
separated funpow, relpow from power on monoids
|
file |
diff |
annotate
|
| Thu, 16 Apr 2009 10:11:34 +0200 |
haftmann |
tightended specification of class semiring_div
|
file |
diff |
annotate
|
| Mon, 20 Apr 2009 12:26:31 +0200 |
wenzelm |
back to non-release mode;
|
file |
diff |
annotate
|
| Thu, 02 Apr 2009 15:07:00 +0200 |
wenzelm |
some more HOL-Nominal news;
|
file |
diff |
annotate
|
| Thu, 02 Apr 2009 14:09:41 +0200 |
wenzelm |
some HOL-Nominal news;
|
file |
diff |
annotate
|
| Thu, 02 Apr 2009 14:02:34 +0200 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
| Thu, 02 Apr 2009 13:41:02 +0200 |
wenzelm |
misc cleanup and rearrangements for Isabelle2009 release;
|
file |
diff |
annotate
|
| Fri, 27 Mar 2009 10:12:55 +0100 |
haftmann |
merged
|
file |
diff |
annotate
|
| Fri, 27 Mar 2009 10:05:13 +0100 |
haftmann |
dropped toy example Code_Antiq
|
file |
diff |
annotate
|
| Thu, 26 Mar 2009 19:24:21 +0100 |
wenzelm |
interpretation/interpret: prefixes are mandatory by default;
|
file |
diff |
annotate
|
| Tue, 24 Mar 2009 14:08:13 +0100 |
nipkow |
NEWS: [arith]
|
file |
diff |
annotate
|
| Fri, 20 Mar 2009 17:12:37 +0100 |
wenzelm |
Disposed old declarations, tactics, tactic combinators that refer to the simpset or claset of an implicit theory;
|
file |
diff |
annotate
|
| Thu, 19 Mar 2009 11:20:22 +0100 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
| Mon, 16 Mar 2009 15:58:41 -0700 |
huffman |
document new additions to HOL/Library
|
file |
diff |
annotate
|
| Mon, 16 Mar 2009 17:51:07 +0100 |
wenzelm |
simplifief 'method_setup' command;
|
file |
diff |
annotate
|
| Sun, 15 Mar 2009 16:59:17 +0100 |
wenzelm |
merged
|
file |
diff |
annotate
|
| Sat, 14 Mar 2009 17:52:53 +0100 |
immler |
updated NEWS
|
file |
diff |
annotate
|
| Sun, 15 Mar 2009 15:59:45 +0100 |
wenzelm |
simplified attribute and method setup;
|
file |
diff |
annotate
|
| Wed, 11 Mar 2009 23:59:34 +0100 |
wenzelm |
added 'local_setup' command;
|
file |
diff |
annotate
|
| Wed, 11 Mar 2009 10:58:18 +0100 |
hoelzl |
Updated paths in Decision_Procs comments and NEWS
|
file |
diff |
annotate
|
| Tue, 10 Mar 2009 17:39:06 +0000 |
webertj |
Instead of giving up entirely, arith now ignores all inequalities when there are too many.
|
file |
diff |
annotate
|
| Mon, 09 Mar 2009 22:43:25 +0100 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
| Mon, 09 Mar 2009 21:12:14 +0100 |
wenzelm |
* More systematic treatment of long names, abstract name bindings, and name space operations.
|
file |
diff |
annotate
|
| Fri, 06 Mar 2009 20:30:16 +0100 |
haftmann |
constructive version of Cantor's first diagonalization argument
|
file |
diff |
annotate
|
| Fri, 06 Mar 2009 15:51:18 +0100 |
haftmann |
merged
|
file |
diff |
annotate
|