paulson [Fri, 18 Aug 1995 16:09:41 +0200] rev 1233
minor corrections to indexing; added thms_containing
in header
nipkow [Fri, 18 Aug 1995 15:54:22 +0200] rev 1232
changed "o" to (infixl 55)
paulson [Fri, 18 Aug 1995 15:20:02 +0200] rev 1231
clarified comment
nipkow [Fri, 18 Aug 1995 12:28:02 +0200] rev 1230
fixed bug in findI
removed duplicates in findEs
nipkow [Thu, 17 Aug 1995 15:07:09 +0200] rev 1229
deactivated fix_shyps.
paulson [Mon, 14 Aug 1995 13:42:27 +0200] rev 1228
updated version number to revision 4
paulson [Fri, 11 Aug 1995 12:36:15 +0200] rev 1227
Mateja Jamnik's theory to html converter
paulson [Thu, 10 Aug 1995 13:16:31 +0200] rev 1226
Handle renaming of CHOL.tex to HOL.tex
paulson [Thu, 10 Aug 1995 13:15:15 +0200] rev 1225
minor polishing of text on findI, etc.
paulson [Thu, 10 Aug 1995 13:14:34 +0200] rev 1224
Trivial reformatting of reference