Fri, 15 Sep 2000 15:30:50 +0200 |
paulson |
the final renaming: selectI -> someI
|
changeset |
files
|
Fri, 15 Sep 2000 12:39:57 +0200 |
paulson |
renamed (most of...) the select rules
|
changeset |
files
|
Fri, 15 Sep 2000 11:34:46 +0200 |
wenzelm |
fixed comment;
|
changeset |
files
|
Fri, 15 Sep 2000 11:27:45 +0200 |
wenzelm |
fixed name;
|
changeset |
files
|
Fri, 15 Sep 2000 11:17:33 +0200 |
wenzelm |
fix theorem names related to SOME (Eps) in HOL;
|
changeset |
files
|
Fri, 15 Sep 2000 00:19:52 +0200 |
wenzelm |
tuned spacing of symbols syntax;
|
changeset |
files
|
Fri, 15 Sep 2000 00:18:36 +0200 |
wenzelm |
tuned symbols;
|
changeset |
files
|
Fri, 15 Sep 2000 00:17:51 +0200 |
wenzelm |
handle more symbols;
|
changeset |
files
|
Fri, 15 Sep 2000 00:17:11 +0200 |
wenzelm |
improved many symbols;
|
changeset |
files
|
Fri, 15 Sep 2000 00:16:36 +0200 |
wenzelm |
updated;
|
changeset |
files
|
Fri, 15 Sep 2000 00:16:08 +0200 |
wenzelm |
renamed "bow" to "frown";
|
changeset |
files
|
Thu, 14 Sep 2000 18:37:44 +0200 |
wenzelm |
"Isabelle repository version";
|
changeset |
files
|
Thu, 14 Sep 2000 17:46:00 +0200 |
nipkow |
*** empty log message ***
|
changeset |
files
|
Thu, 14 Sep 2000 17:46:00 +0200 |
nipkow |
*** empty log message ***
|
changeset |
files
|
Thu, 14 Sep 2000 17:24:46 +0200 |
wenzelm |
added /usr/share/emacs/ProofGeneral/isar/interface choice;
|
changeset |
files
|
Thu, 14 Sep 2000 11:34:13 +0200 |
paulson |
a bit more of division
|
changeset |
files
|
Wed, 13 Sep 2000 22:49:17 +0200 |
wenzelm |
dummy (generated by makedist);
|
changeset |
files
|
Wed, 13 Sep 2000 22:32:15 +0200 |
wenzelm |
begin_theory: priority message to gain some robustness in sync communication;
|
changeset |
files
|
Wed, 13 Sep 2000 22:31:19 +0200 |
wenzelm |
Args.addN, Args.delN;
|
changeset |
files
|
Wed, 13 Sep 2000 22:29:37 +0200 |
wenzelm |
LFilter: setmp quick_and_dirty false;
|
changeset |
files
|
Wed, 13 Sep 2000 22:29:17 +0200 |
wenzelm |
\<epsilon>: syntax (input);
|
changeset |
files
|
Wed, 13 Sep 2000 22:28:50 +0200 |
wenzelm |
tuned recdef hints;
|
changeset |
files
|
Wed, 13 Sep 2000 22:27:53 +0200 |
wenzelm |
easy settings: add /usr/local prefix;
|
changeset |
files
|
Wed, 13 Sep 2000 22:27:26 +0200 |
wenzelm |
updated to 3.3d;
|
changeset |
files
|
Wed, 13 Sep 2000 22:27:10 +0200 |
wenzelm |
tar packages: /usr/local;
|
changeset |
files
|
Wed, 13 Sep 2000 18:47:30 +0200 |
paulson |
more integer theorems, better simplification
|
changeset |
files
|
Wed, 13 Sep 2000 18:46:45 +0200 |
paulson |
moved Primes, Fib, Factorization from HOL/ex
|
changeset |
files
|
Wed, 13 Sep 2000 18:46:09 +0200 |
paulson |
zgcd now works for negative integers
|
changeset |
files
|
Wed, 13 Sep 2000 18:45:10 +0200 |
paulson |
moved Primes, Fib, Factorization to HOL/NumberTheory
|
changeset |
files
|
Tue, 12 Sep 2000 22:13:23 +0200 |
wenzelm |
renamed atts: rulify to rule_format, elimify to elim_format;
|
changeset |
files
|