1995-08-14 paulson [Mon, 14 Aug 1995 13:42:27 +0200] rev 1228 Isabelle94-4
updated version number to revision 4
src/Pure/ROOT.ML

1995-08-11 paulson [Fri, 11 Aug 1995 12:36:15 +0200] rev 1227
Mateja Jamnik's theory to html converter
src/Pure/Thy/blue_arrow.gif src/Pure/Thy/chart.ML src/Pure/Thy/red_arrow.gif src/Pure/Thy/to_html.ML

1995-08-10 paulson [Thu, 10 Aug 1995 13:16:31 +0200] rev 1226
Handle renaming of CHOL.tex to HOL.tex
doc-src/Logics/Makefile doc-src/Logics/logics.tex

1995-08-10 paulson [Thu, 10 Aug 1995 13:15:15 +0200] rev 1225
minor polishing of text on findI, etc.
doc-src/Ref/goals.tex

1995-08-10 paulson [Thu, 10 Aug 1995 13:14:34 +0200] rev 1224
Trivial reformatting of reference
doc-src/Intro/intro.bbl doc-src/Ref/ref.bbl

1995-08-08 nipkow [Tue, 08 Aug 1995 09:27:02 +0200] rev 1223
corrected bind_thm: now applies "standard" uniformly.
src/Pure/Thy/thy_read.ML

1995-08-07 nipkow [Mon, 07 Aug 1995 16:37:47 +0200] rev 1222
Documented findI, findE, findEs, thms_containing.
doc-src/Ref/goals.tex

1995-08-07 nipkow [Mon, 07 Aug 1995 15:23:59 +0200] rev 1221
Added findI, findEs, and findE.
src/Pure/Thy/ROOT.ML src/Pure/Thy/thm_database.ML

1995-08-01 wenzelm [Tue, 01 Aug 1995 17:21:57 +0200] rev 1220
MAJOR changes:
added shyps component to type thm;
added rules strip_shyps, implies_intr_shyps;
fixed rules to handle shyps properly;
src/Pure/thm.ML

1995-08-01 wenzelm [Tue, 01 Aug 1995 17:21:05 +0200] rev 1219
modified prepare_proof to handle shyps;
src/Pure/goals.ML