isabelle: Changelog

haftmann [Fri, 01 Jun 2007 10:44:28 +0200] rev 23182

dropped superfluous name bindings

haftmann [Fri, 01 Jun 2007 10:44:26 +0200] rev 23181

localized

haftmann [Fri, 01 Jun 2007 10:44:24 +0200] rev 23180

fixed typo

wenzelm [Thu, 31 May 2007 23:47:38 +0200] rev 23179

insert: canonical argument order;

wenzelm [Thu, 31 May 2007 23:47:36 +0200] rev 23178

simplified/unified list fold;

huffman [Thu, 31 May 2007 23:02:16 +0200] rev 23177

replace (- 1) with -1

huffman [Thu, 31 May 2007 22:23:50 +0200] rev 23176

simplify some proofs

wenzelm [Thu, 31 May 2007 21:09:14 +0200] rev 23175

tuned headers -- adapted to usual conventions;

wenzelm [Thu, 31 May 2007 20:55:33 +0200] rev 23174

moved Compute_Oracle from Pure/Tools to Tools;

wenzelm [Thu, 31 May 2007 20:55:32 +0200] rev 23173

proper theory setup for compute oracle (based on CPure); simplified oracle setup;

isabelle