isabelle: Changelog

paulson [Fri, 01 Nov 1996 15:15:39 +0100] rev 2143

Replaced min by Int.min

paulson [Fri, 01 Nov 1996 15:14:25 +0100] rev 2142

Deleted Olist constructor. Replaced minidx by "above" function

paulson [Fri, 01 Nov 1996 15:12:21 +0100] rev 2141

Now defines structure Int

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)

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%

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)

paulson [Wed, 30 Oct 1996 11:17:54 +0100] rev 2137

Minor updates

paulson [Wed, 30 Oct 1996 11:15:09 +0100] rev 2136

Updated references

paulson [Mon, 28 Oct 1996 15:59:39 +0100] rev 2135

Minor corrections

nipkow [Mon, 28 Oct 1996 15:36:18 +0100] rev 2134

Renamed and shuffled a few thms.

isabelle