| Mon, 18 Jan 1999 21:08:27 +0100 |
wenzelm |
added General/graph.ML: generic direct graphs;
|
changeset |
files
|
| Fri, 15 Jan 1999 16:13:31 +0100 |
oheimb |
removed empty line (in case of empty begin_state marker) before Level line
|
changeset |
files
|
| Thu, 14 Jan 1999 14:39:11 +0100 |
nipkow |
Removed superfluous arith rules from metric_simps
|
changeset |
files
|
| Thu, 14 Jan 1999 14:29:52 +0100 |
nipkow |
More Arith.
|
changeset |
files
|
| Thu, 14 Jan 1999 13:20:02 +0100 |
nipkow |
Fixed old bug: selection of constant to be split should depend not just on
|
changeset |
files
|
| Thu, 14 Jan 1999 13:19:12 +0100 |
nipkow |
nat_arith_tac -> arith_tac
|
changeset |
files
|
| Thu, 14 Jan 1999 13:18:09 +0100 |
nipkow |
More arith refinements.
|
changeset |
files
|
| Thu, 14 Jan 1999 12:32:13 +0100 |
wenzelm |
tuned README;
|
changeset |
files
|
| Thu, 14 Jan 1999 12:32:00 +0100 |
wenzelm |
Pure/General/symbol.ML;
|
changeset |
files
|
| Thu, 14 Jan 1999 12:23:00 +0100 |
wenzelm |
tuned;
|
changeset |
files
|
| Wed, 13 Jan 1999 16:38:52 +0100 |
paulson |
deleted the appendices because documentation exists in the HOL and ZF manuals
|
changeset |
files
|
| Wed, 13 Jan 1999 16:38:16 +0100 |
paulson |
defined dquotesoff
|
changeset |
files
|
| Wed, 13 Jan 1999 16:38:02 +0100 |
paulson |
new manual ZF
|
changeset |
files
|
| Wed, 13 Jan 1999 16:36:36 +0100 |
paulson |
the separate FOL and ZF logics manual, with new material on datatypes and
|
changeset |
files
|