isabelle: Changelog

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

fixed minor typo in comments

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

changed import to Ln

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

isabelle