isabelle: Changelog

paulson [Wed, 11 Jul 2001 13:55:15 +0200] rev 11403

new macro file for the tutorial

paulson [Wed, 11 Jul 2001 13:54:44 +0200] rev 11402

separate preface and macro file

paulson [Wed, 11 Jul 2001 10:50:18 +0200] rev 11401

do not remove Rules and Sets TeX files

paulson [Mon, 09 Jul 2001 13:43:02 +0200] rev 11400

isa-index replaces ../sedindex: knows about \\isa

paulson [Fri, 06 Jul 2001 16:04:32 +0200] rev 11399

two Isar tactic scripts

wenzelm [Tue, 03 Jul 2001 22:11:09 +0200] rev 11398

Library/ROOT.ML moved to Library/Library/ROOT.ML to avoid accidential uses of this ML file (HOL/Library is in the default load path);

paulson [Tue, 03 Jul 2001 15:40:25 +0200] rev 11397

GroupTheory

paulson [Tue, 03 Jul 2001 15:29:29 +0200] rev 11396

new lemmas

paulson [Tue, 03 Jul 2001 15:29:17 +0200] rev 11395

better treatment of restrict (lam)

paulson [Tue, 03 Jul 2001 15:28:24 +0200] rev 11394

Locale-based group theory proofs

isabelle