isabelle: Changelog

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.

paulson [Mon, 28 Oct 1996 13:02:37 +0100] rev 2133

Simplified proofs

paulson [Mon, 28 Oct 1996 13:01:25 +0100] rev 2132

Tidied up a big mess in UN_parts_sees_Says

paulson [Mon, 28 Oct 1996 12:55:24 +0100] rev 2131

Changing from the Reveal to the Oops rule

isabelle