| 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
|