isabelle: Changelog

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

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

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

isabelle