| Wed, 03 Nov 1993 19:02:17 +0100 |
nipkow |
added append "@"
|
changeset |
files
|
| Mon, 25 Oct 1993 14:36:27 +0100 |
wenzelm |
added white-space;
|
changeset |
files
|
| Mon, 25 Oct 1993 14:35:17 +0100 |
wenzelm |
made ~= a fake infix;
|
changeset |
files
|
| Fri, 22 Oct 1993 13:36:28 +0100 |
clasohm |
changes for new Readthy
|
changeset |
files
|
| Sun, 17 Oct 1993 17:33:40 +0100 |
clasohm |
renamed: hol-rec.* to rec.*, lex-prod.* to lexprod.*, prop-log.* to pl.*
|
changeset |
files
|
| Sun, 17 Oct 1993 17:23:51 +0100 |
clasohm |
renamed utermlemmas.* to utlemmas.*
|
changeset |
files
|
| Fri, 08 Oct 1993 13:46:13 +0100 |
wenzelm |
removed THE;
|
changeset |
files
|
| Thu, 07 Oct 1993 10:29:23 +0100 |
lcp |
used ~= for "not equals" and ~: for "not in"
|
changeset |
files
|
| Thu, 07 Oct 1993 10:20:30 +0100 |
lcp |
added ~= for "not equals" and added ~: for "not in"
|
changeset |
files
|
| Mon, 04 Oct 1993 15:43:54 +0100 |
wenzelm |
HOL/hol.thy
|
changeset |
files
|
| Tue, 28 Sep 1993 14:27:31 +0100 |
lcp |
This repeats a previous commit, which failed to update simpdata.ML because
|
changeset |
files
|
| Wed, 22 Sep 1993 15:43:05 +0200 |
lcp |
Added weak congruence rules to HOL: if_weak_cong, case_weak_cong,
|
changeset |
files
|
| Thu, 16 Sep 1993 14:29:14 +0200 |
nipkow |
defined addcongs locally in simpdata.ML
|
changeset |
files
|
| Thu, 16 Sep 1993 12:21:07 +0200 |
clasohm |
Initial revision
|
changeset |
files
|