isabelle: Changelog

paulson [Fri, 19 Jul 2002 13:28:19 +0200] rev 13396

A couple of new theorems for Constructible

paulson [Thu, 18 Jul 2002 15:21:42 +0200] rev 13395

absoluteness for "formula" and "eclose"

wenzelm [Thu, 18 Jul 2002 12:10:24 +0200] rev 13394

define cumulative predicate view; tuned;

wenzelm [Thu, 18 Jul 2002 12:09:44 +0200] rev 13393

adapted add_locale;

wenzelm [Thu, 18 Jul 2002 12:09:28 +0200] rev 13392

adapted locale syntax;

wenzelm [Thu, 18 Jul 2002 12:09:08 +0200] rev 13391

fixed inform_file_retracted: remove_thy;

wenzelm [Thu, 18 Jul 2002 12:08:45 +0200] rev 13390

ACe_axioms;

wenzelm [Thu, 18 Jul 2002 12:05:51 +0200] rev 13389

added satisfy_hyps;

wenzelm [Thu, 18 Jul 2002 12:05:29 +0200] rev 13388

quantify LC (conflict with const name of HOL);

paulson [Thu, 18 Jul 2002 10:37:55 +0200] rev 13387

new theorems to support Constructible proofs

isabelle