1996-11-01 paulson [Fri, 01 Nov 1996 15:15:39 +0100] rev 2143
Replaced min by Int.min
src/Provers/hypsubst.ML src/Provers/splitter.ML src/Pure/search.ML

1996-11-01 paulson [Fri, 01 Nov 1996 15:14:25 +0100] rev 2142
Deleted Olist constructor. Replaced minidx by "above" function
src/Pure/envir.ML

1996-11-01 paulson [Fri, 01 Nov 1996 15:12:21 +0100] rev 2141
Now defines structure Int
src/Pure/NJ1xx.ML src/Pure/POLY.ML

1996-10-30 paulson [Wed, 30 Oct 1996 11:21:24 +0100] rev 2140
Changed some mem calls to mem_int for greater efficiency (not that it could matter)
src/Pure/unify.ML

1996-10-30 paulson [Wed, 30 Oct 1996 11:20:27 +0100] rev 2139
Only calls nodup_Vars if really necessary. We get a speedup of nearly 6%
src/Pure/thm.ML

1996-10-30 paulson [Wed, 30 Oct 1996 11:19:09 +0100] rev 2138
Changed some mem calls to mem_string for greater efficiency (not that it could matter)
src/Pure/sign.ML src/Pure/term.ML

1996-10-30 paulson [Wed, 30 Oct 1996 11:17:54 +0100] rev 2137
Minor updates
doc-src/ind-defs.tex

1996-10-30 paulson [Wed, 30 Oct 1996 11:15:09 +0100] rev 2136
Updated references
doc-src/ind-defs.bbl

1996-10-28 paulson [Mon, 28 Oct 1996 15:59:39 +0100] rev 2135
Minor corrections
src/HOL/Auth/OtwayRees.ML src/HOL/Auth/OtwayRees.thy

1996-10-28 nipkow [Mon, 28 Oct 1996 15:36:18 +0100] rev 2134
Renamed and shuffled a few thms.
src/HOL/Auth/Event.ML src/HOL/Auth/OtwayRees.ML src/HOL/simpdata.ML