Mon, 14 Jan 2002 17:43:44 +0100 |
wenzelm |
ML_OPTIONS="-h 15000" (used to be 30000);
|
changeset |
files
|
Mon, 14 Jan 2002 17:31:45 +0100 |
wenzelm |
updated;
|
changeset |
files
|
Mon, 14 Jan 2002 17:31:42 +0100 |
wenzelm |
tuned;
|
changeset |
files
|
Mon, 14 Jan 2002 17:29:25 +0100 |
wenzelm |
updated;
|
changeset |
files
|
Mon, 14 Jan 2002 17:29:12 +0100 |
wenzelm |
tuned;
|
changeset |
files
|
Mon, 14 Jan 2002 17:23:40 +0100 |
wenzelm |
updated;
|
changeset |
files
|
Mon, 14 Jan 2002 17:23:35 +0100 |
wenzelm |
tuned;
|
changeset |
files
|
Mon, 14 Jan 2002 16:09:29 +0100 |
wenzelm |
updated;
|
changeset |
files
|
Mon, 14 Jan 2002 16:09:25 +0100 |
wenzelm |
tuned;
|
changeset |
files
|
Mon, 14 Jan 2002 14:39:22 +0100 |
wenzelm |
tuned;
|
changeset |
files
|
Mon, 14 Jan 2002 00:16:43 +0100 |
oheimb |
cosmetics
|
changeset |
files
|
Sun, 13 Jan 2002 21:14:51 +0100 |
wenzelm |
\<twosuperior> syntax moved to HOL/Numerals;
|
changeset |
files
|
Sun, 13 Jan 2002 21:14:31 +0100 |
wenzelm |
tuned;
|
changeset |
files
|
Sun, 13 Jan 2002 21:14:14 +0100 |
wenzelm |
prime_dvd_power_two;
|
changeset |
files
|
Sun, 13 Jan 2002 21:13:59 +0100 |
wenzelm |
symbolic syntax for x^2 (faills back on plain infix "^");
|
changeset |
files
|
Sun, 13 Jan 2002 21:13:27 +0100 |
wenzelm |
\usepackage[latin1]{inputenc};
|
changeset |
files
|
Sun, 13 Jan 2002 21:12:43 +0100 |
wenzelm |
* HOL: symbolic syntax for x^2 (numeral 2);
|
changeset |
files
|
Sun, 13 Jan 2002 21:09:17 +0100 |
wenzelm |
added HOL/Real/document/root.tex;
|
changeset |
files
|
Sun, 13 Jan 2002 19:45:17 +0100 |
wenzelm |
HOL-Real/Complex_Numbers;
|
changeset |
files
|
Sun, 13 Jan 2002 19:42:30 +0100 |
wenzelm |
Real/Complex_Numbers.thy;
|
changeset |
files
|
Sat, 12 Jan 2002 22:44:10 +0100 |
wenzelm |
tuned;
|
changeset |
files
|
Sat, 12 Jan 2002 22:24:09 +0100 |
wenzelm |
tuned;
|
changeset |
files
|
Sat, 12 Jan 2002 22:17:08 +0100 |
wenzelm |
produce predicate text;
|
changeset |
files
|
Sat, 12 Jan 2002 22:15:48 +0100 |
wenzelm |
added atomize_cterm;
|
changeset |
files
|
Sat, 12 Jan 2002 16:55:53 +0100 |
wenzelm |
tuned;
|
changeset |
files
|
Sat, 12 Jan 2002 16:40:02 +0100 |
wenzelm |
unify_frozen: proper use of maxidx';
|
changeset |
files
|
Sat, 12 Jan 2002 16:38:42 +0100 |
wenzelm |
paramify_dummies: proper treatment of maxidx;
|
changeset |
files
|
Sat, 12 Jan 2002 16:37:58 +0100 |
wenzelm |
renamed forall_elim_vars_safe to gen_all;
|
changeset |
files
|
Fri, 11 Jan 2002 18:49:25 +0100 |
wenzelm |
Isabelle2002 (January 2002);
|
changeset |
files
|
Fri, 11 Jan 2002 18:07:45 +0100 |
wenzelm |
removed obsolete isamode.ML;
|
changeset |
files
|