paulson [Thu, 12 Jul 2001 16:33:36 +0200] rev 11411
indexing
paulson [Wed, 11 Jul 2001 17:55:46 +0200] rev 11410
indexing
paulson [Wed, 11 Jul 2001 15:21:07 +0200] rev 11409
messages, and proper treatment of footnotes
paulson [Wed, 11 Jul 2001 15:10:07 +0200] rev 11408
new preface
paulson [Wed, 11 Jul 2001 14:00:48 +0200] rev 11407
tweaks for new version
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);