isabelle: Changelog

paulson [Wed, 11 Jul 2001 13:57:01 +0200] rev 11406

indexing and tweaks

paulson [Wed, 11 Jul 2001 13:56:15 +0200] rev 11405

tweak

paulson [Wed, 11 Jul 2001 13:55:43 +0200] rev 11404

careful changes to make its output identical to that of indexing macros

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

isabelle