Sat, 15 Apr 2000 15:00:57 +0200 |
wenzelm |
plain ASCII;
|
changeset |
files
|
Fri, 14 Apr 2000 17:30:22 +0200 |
wenzelm |
intrn_arity: reject type abbreviations;
|
changeset |
files
|
Fri, 14 Apr 2000 17:29:57 +0200 |
wenzelm |
added is_type_abbr;
|
changeset |
files
|
Fri, 14 Apr 2000 16:12:46 +0200 |
wenzelm |
\newenvironment{isabellequote};
|
changeset |
files
|
Fri, 14 Apr 2000 15:55:40 +0200 |
wenzelm |
global \isa@parindent, \isa@parskip;
|
changeset |
files
|
Fri, 14 Apr 2000 01:14:51 +0200 |
wenzelm |
use HOLogic.termT;
|
changeset |
files
|
Thu, 13 Apr 2000 17:49:42 +0200 |
wenzelm |
outer syntax: no simps;
|
changeset |
files
|
Thu, 13 Apr 2000 17:49:08 +0200 |
wenzelm |
recdef: no simps;
|
changeset |
files
|
Thu, 13 Apr 2000 15:19:37 +0200 |
paulson |
stopped using the obsolete "nat_ind_tac"
|
changeset |
files
|
Thu, 13 Apr 2000 15:18:02 +0200 |
paulson |
added some new iff-lemmas; removed some obsolete thms
|
changeset |
files
|
Thu, 13 Apr 2000 15:16:32 +0200 |
paulson |
tidied
|
changeset |
files
|
Thu, 13 Apr 2000 15:11:41 +0200 |
wenzelm |
tuned;
|
changeset |
files
|
Thu, 13 Apr 2000 15:02:57 +0200 |
nipkow |
*** empty log message ***
|
changeset |
files
|
Thu, 13 Apr 2000 15:02:02 +0200 |
wenzelm |
Simplifier options;
|
changeset |
files
|
Thu, 13 Apr 2000 15:01:50 +0200 |
nipkow |
Times -> <*>
|
changeset |
files
|