| Fri, 03 Jul 1998 17:36:45 +0200 |
wenzelm |
reorganized the main HOL image;
|
file |
diff |
annotate
|
| Wed, 01 Jul 1998 19:11:20 +0200 |
berghofe |
Adapted to new inductive definition package.
|
file |
diff |
annotate
|
| Wed, 01 Jul 1998 17:59:25 +0200 |
paulson |
HOL-Real
|
file |
diff |
annotate
|
| Thu, 25 Jun 1998 16:12:02 +0200 |
wenzelm |
simplification procedure unit_eq_proc rewrites (?x::unit) = ();
|
file |
diff |
annotate
|
| Wed, 24 Jun 1998 13:59:45 +0200 |
nipkow |
* HOL/List: new function list_update written xs[i:=v] that updates the i-th
|
file |
diff |
annotate
|
| Wed, 24 Jun 1998 10:33:42 +0200 |
paulson |
removed duplicate entry for Goal
|
file |
diff |
annotate
|
| Tue, 23 Jun 1998 18:09:16 +0200 |
nipkow |
*** empty log message ***
|
file |
diff |
annotate
|
| Sat, 20 Jun 1998 20:18:51 +0200 |
wenzelm |
renamed Thm(s) back to thm(s);
|
file |
diff |
annotate
|
| Thu, 18 Jun 1998 10:52:34 +0200 |
wenzelm |
new toplevel commands `Goal' and `Goalw';
|
file |
diff |
annotate
|
| Thu, 18 Jun 1998 10:50:16 +0200 |
wenzelm |
renamed thm(s) to Thm(s);
|
file |
diff |
annotate
|
| Wed, 17 Jun 1998 12:44:02 +0200 |
nipkow |
Goal and Goalw
|
file |
diff |
annotate
|
| Wed, 10 Jun 1998 11:49:41 +0200 |
wenzelm |
new type-safe user interface for theory data;
|
file |
diff |
annotate
|
| Fri, 05 Jun 1998 14:40:07 +0200 |
wenzelm |
* improved the theory data mechanism to support real encapsulation;
|
file |
diff |
annotate
|
| Thu, 28 May 1998 12:24:05 +0200 |
wenzelm |
tuned header;
|
file |
diff |
annotate
|
| Thu, 14 May 1998 16:50:09 +0200 |
oheimb |
extended addsplits and delsplits to handle also split rules for assumptions
|
file |
diff |
annotate
|