isabelle: Changelog

paulson [Fri, 30 Mar 2001 12:31:10 +0200] rev 11233

the one-point rule for bounded quantifiers

nipkow [Thu, 29 Mar 2001 13:59:54 +0200] rev 11232

generalization of 1 point rules for ALL

nipkow [Thu, 29 Mar 2001 12:26:37 +0200] rev 11231

*** empty log message ***

paulson [Thu, 29 Mar 2001 10:44:37 +0200] rev 11230

misc tidying; changing the predicate isSymKey to the set symKeys

nipkow [Wed, 28 Mar 2001 13:40:06 +0200] rev 11229

Got rid of is_dfa

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

isabelle