| Fri, 24 Nov 2000 16:49:27 +0100 |
nipkow |
hide many names from Datatype_Universe.
|
changeset |
files
|
| Fri, 24 Nov 2000 14:09:09 +0100 |
wenzelm |
exception Interrupt = SML90.Interrupt;
|
changeset |
files
|
| Fri, 24 Nov 2000 11:07:38 +0100 |
paulson |
added exception Interrupt for use in function Library/try
|
changeset |
files
|
| Thu, 23 Nov 2000 21:33:14 +0100 |
wenzelm |
arith_tac: atomize;
|
changeset |
files
|
| Thu, 23 Nov 2000 21:29:50 +0100 |
wenzelm |
standard: close_derivation;
|
changeset |
files
|
| Thu, 23 Nov 2000 21:29:35 +0100 |
wenzelm |
* HOL: syntax or "abs";
|
changeset |
files
|
| Thu, 23 Nov 2000 16:25:08 +0100 |
nipkow |
*** empty log message ***
|
changeset |
files
|
| Wed, 22 Nov 2000 21:47:04 +0100 |
wenzelm |
tuned;
|
changeset |
files
|
| Wed, 22 Nov 2000 21:41:39 +0100 |
wenzelm |
tuned;
|
changeset |
files
|
| Wed, 22 Nov 2000 21:38:26 +0100 |
wenzelm |
*** empty log message ***
|
changeset |
files
|
| Wed, 22 Nov 2000 13:16:55 +0100 |
nipkow |
*** empty log message ***
|
changeset |
files
|
| 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
|
| Mon, 20 Nov 2000 16:37:42 +0100 |
kleing |
BCV integration (first step)
|
changeset |
files
|
| Sat, 18 Nov 2000 19:48:34 +0100 |
wenzelm |
export freeze_thaw_type;
|
changeset |
files
|
| Sat, 18 Nov 2000 19:48:07 +0100 |
wenzelm |
improved messages;
|
changeset |
files
|
| Sat, 18 Nov 2000 19:47:36 +0100 |
wenzelm |
default_intro_classes_tac: Tactic.distinct_subgoals_tac;
|
changeset |
files
|
| Sat, 18 Nov 2000 19:47:12 +0100 |
wenzelm |
axclass ordered_ring;
|
changeset |
files
|
| Sat, 18 Nov 2000 19:46:48 +0100 |
wenzelm |
quot_cond_function: simplified, support conditional definition;
|
changeset |
files
|
| Sat, 18 Nov 2000 19:45:37 +0100 |
wenzelm |
abs_eq_0: #0 instead of 0;
|
changeset |
files
|
| Sat, 18 Nov 2000 19:45:05 +0100 |
wenzelm |
symbol syntax for "abs";
|
changeset |
files
|
| Sat, 18 Nov 2000 00:32:08 +0100 |
wenzelm |
added axclass ordered_field;
|
changeset |
files
|