isabelle: Changelog

ballarin [Fri, 14 Jul 2006 14:37:15 +0200] rev 20129

Term.term_lpo takes order on terms rather than strings as argument.

wenzelm [Fri, 14 Jul 2006 14:19:48 +0200] rev 20128

keep/transaction: unified execution model (with debugging etc.); tuned;

webertj [Fri, 14 Jul 2006 13:51:30 +0200] rev 20127

trivial whitespace changes

wenzelm [Fri, 14 Jul 2006 12:18:33 +0200] rev 20126

simp method: depth_limit;

paulson [Thu, 13 Jul 2006 17:39:56 +0200] rev 20125

"conjecture" must be lower case

wenzelm [Thu, 13 Jul 2006 13:42:05 +0200] rev 20124

tuned insert_list;

wenzelm [Thu, 13 Jul 2006 13:42:02 +0200] rev 20123

Name.context already declares empty names; tune ins_sorts -- sort assigments should never change later;

wenzelm [Thu, 13 Jul 2006 13:42:00 +0200] rev 20122

strip_abs_eta: proper use of Name.context;

isabelle