isabelle: Changelog

avigad [Fri, 29 Jul 2005 19:47:19 +0200] rev 16959

added a new theory; properties of ln

wenzelm [Fri, 29 Jul 2005 16:16:44 +0200] rev 16958

P.opt_locale_target;

paulson [Fri, 29 Jul 2005 15:20:29 +0200] rev 16957

nameless theorems: better names, flag to omit them

paulson [Thu, 28 Jul 2005 17:56:27 +0200] rev 16956

invents theorem names; also patches write_out_clasimp

paulson [Thu, 28 Jul 2005 17:55:39 +0200] rev 16955

dead code

paulson [Thu, 28 Jul 2005 17:54:39 +0200] rev 16954

new function trim_ends

paulson [Thu, 28 Jul 2005 17:54:22 +0200] rev 16953

uniform treatment of variable prefixes

haftmann [Thu, 28 Jul 2005 16:59:30 +0200] rev 16952

corrected some typos

paulson [Thu, 28 Jul 2005 16:54:19 +0200] rev 16951

new droplet

quigley [Thu, 28 Jul 2005 16:26:59 +0200] rev 16950

Added flag ResClasimp.use_simpset to allow exclusion of simpset rules from ATP problem files

isabelle