testboard: Changelog

nipkow [Sat, 15 Apr 2000 17:41:20 +0200] rev 8719

mod to error msg

wenzelm [Sat, 15 Apr 2000 15:01:31 +0200] rev 8718

next_block: reset_facts;

wenzelm [Sat, 15 Apr 2000 15:00:57 +0200] rev 8717

plain ASCII;

wenzelm [Fri, 14 Apr 2000 17:30:22 +0200] rev 8716

intrn_arity: reject type abbreviations;

wenzelm [Fri, 14 Apr 2000 17:29:57 +0200] rev 8715

added is_type_abbr;

wenzelm [Fri, 14 Apr 2000 16:12:46 +0200] rev 8714

\newenvironment{isabellequote};

wenzelm [Fri, 14 Apr 2000 15:55:40 +0200] rev 8713

global \isa@parindent, \isa@parskip; \newcommand{\isa};

wenzelm [Fri, 14 Apr 2000 01:14:51 +0200] rev 8712

use HOLogic.termT;

wenzelm [Thu, 13 Apr 2000 17:49:42 +0200] rev 8711

outer syntax: no simps;

wenzelm [Thu, 13 Apr 2000 17:49:08 +0200] rev 8710

recdef: no simps;

testboard