isabelle: Changelog

nipkow [Wed, 28 Mar 2001 13:39:50 +0200] rev 11228

MicroJava/BV dependencies incomplete

nipkow [Tue, 27 Mar 2001 13:00:30 +0200] rev 11227

fixed bug in tactic for ball 1 point simproc

paulson [Tue, 27 Mar 2001 11:27:06 +0200] rev 11226

Vos

nipkow [Mon, 26 Mar 2001 19:37:31 +0200] rev 11225

simplified proofs

nipkow [Mon, 26 Mar 2001 16:31:38 +0200] rev 11224

simplified proofs

nipkow [Mon, 26 Mar 2001 12:51:14 +0200] rev 11223

I forgot a few bases cases for the 1-point rules...

paulson [Fri, 23 Mar 2001 12:10:05 +0100] rev 11222

shortening and streamlining of proofs

nipkow [Fri, 23 Mar 2001 10:12:12 +0100] rev 11221

added simproc for bounded quantifiers

nipkow [Fri, 23 Mar 2001 10:10:53 +0100] rev 11220

added one point simprocs for bounded quantifiers

paulson [Thu, 22 Mar 2001 10:29:26 +0100] rev 11219

new theorem analz_Decrypt'

isabelle