Tue, 21 Nov 2000 19:04:59 +0100 |
wenzelm |
tag result with name reference to final binding (basically just a comment);
|
changeset |
files
|
Tue, 21 Nov 2000 19:04:03 +0100 |
wenzelm |
Tactic.distinct_subgoals_tac moved to internal intro_classes_tac;
|
changeset |
files
|
Tue, 21 Nov 2000 19:03:27 +0100 |
wenzelm |
replace \<dots>;
|
changeset |
files
|
Tue, 21 Nov 2000 19:03:06 +0100 |
wenzelm |
unsymbolize;
|
changeset |
files
|
Tue, 21 Nov 2000 19:02:31 +0100 |
wenzelm |
quote executable;
|
changeset |
files
|
Tue, 21 Nov 2000 19:02:07 +0100 |
wenzelm |
tuned;
|
changeset |
files
|
Tue, 21 Nov 2000 16:25:32 +0100 |
bauerg |
;
|
changeset |
files
|
Tue, 21 Nov 2000 13:48:47 +0100 |
kleing |
adjusted for BV changes (Ok -> OK)
|
changeset |
files
|
Tue, 21 Nov 2000 13:28:23 +0100 |
paulson |
thebibliography environment: replaced the Springer version by the standard one
|
changeset |
files
|
Tue, 21 Nov 2000 11:31:45 +0100 |
bauerg |
alternative function definition;
|
changeset |
files
|
Tue, 21 Nov 2000 10:37:04 +0100 |
nipkow |
*** empty log message ***
|
changeset |
files
|
Mon, 20 Nov 2000 16:41:25 +0100 |
kleing |
BCV integration (type system is semilattice)
|
changeset |
files
|