isabelle: Changelog

nipkow [Thu, 30 May 2002 10:12:11 +0200] rev 13186

Big update. Allows case splitting on ~= now (trying both < and >).

paulson [Tue, 28 May 2002 11:07:36 +0200] rev 13185

deleted some useless ML bindings

paulson [Tue, 28 May 2002 11:06:55 +0200] rev 13184

added <-> and ~

paulson [Tue, 28 May 2002 11:06:06 +0200] rev 13183

conversion of IntDiv.thy to Isar format

berghofe [Tue, 28 May 2002 09:46:39 +0200] rev 13182

Eps -> Hilbert_Choice.Eps

nipkow [Mon, 27 May 2002 17:20:16 +0200] rev 13181

*** empty log message ***

paulson [Fri, 24 May 2002 16:56:25 +0200] rev 13180

tidied; stronger lemmas about functions

paulson [Fri, 24 May 2002 16:55:46 +0200] rev 13179

strong lemmas about functions

paulson [Fri, 24 May 2002 16:55:28 +0200] rev 13178

new quantifier lemmas

paulson [Fri, 24 May 2002 15:24:29 +0200] rev 13177

converted Update to Isar

isabelle