isabelle: Changelog

paulson [Tue, 20 May 1997 11:40:28 +0200] rev 3237

Relation "less_than" internalizes "<" for easy use of TFL

paulson [Tue, 20 May 1997 11:39:32 +0200] rev 3236

New pattern-matching definition of pred_nat

paulson [Tue, 20 May 1997 11:38:50 +0200] rev 3235

The diff laws must be named: we do "Delsimps [diff_Suc];"

paulson [Tue, 20 May 1997 11:37:57 +0200] rev 3234

New theorems from Hoare/Arith2.ML

paulson [Tue, 20 May 1997 11:34:26 +0200] rev 3233

new treatment of Prover files

paulson [Tue, 20 May 1997 11:33:45 +0200] rev 3232

Removal of ex/LexProd; TFL files; new treatment of Prover files

paulson [Tue, 20 May 1997 11:33:02 +0200] rev 3231

Removal of ex/LexProd

wenzelm [Tue, 20 May 1997 11:05:59 +0200] rev 3230

improved output syntax of op =, op ~= (more parentheses);

wenzelm [Tue, 20 May 1997 10:48:08 +0200] rev 3229

SYNC;

wenzelm [Tue, 20 May 1997 10:47:56 +0200] rev 3228

index: model checkers;

isabelle