2013-06-07 blanchet [Fri, 07 Jun 2013 10:29:42 +0200] rev 52337
tuning
src/HOL/BNF/Tools/bnf_fp_def_sugar.ML

2013-06-07 blanchet [Fri, 07 Jun 2013 10:24:35 +0200] rev 52336
tuning
src/HOL/BNF/Tools/bnf_fp_def_sugar.ML

2013-06-07 blanchet [Fri, 07 Jun 2013 09:47:04 +0200] rev 52335
tuning
src/HOL/BNF/Tools/bnf_fp_def_sugar.ML

2013-06-07 blanchet [Fri, 07 Jun 2013 09:30:13 +0200] rev 52334
tuning
src/HOL/BNF/Tools/bnf_fp_def_sugar.ML

2013-06-07 nipkow [Fri, 07 Jun 2013 22:13:04 +0200] rev 52333
tuned
src/HOL/IMP/Hoare_Total.thy

2013-06-07 nipkow [Fri, 07 Jun 2013 12:55:09 +0200] rev 52332
tuned variable names
src/HOL/IMP/VCG.thy

2013-06-07 nipkow [Fri, 07 Jun 2013 11:51:52 +0200] rev 52331
tuned
src/HOL/IMP/VCG.thy

2013-06-07 blanchet [Fri, 07 Jun 2013 09:28:59 +0200] rev 52330
tuning
src/HOL/BNF/Tools/bnf_fp_def_sugar.ML src/HOL/BNF/Tools/bnf_fp_util.ML

2013-06-07 blanchet [Fri, 07 Jun 2013 08:57:44 +0200] rev 52329
tuning
src/HOL/BNF/Tools/bnf_fp_def_sugar.ML

2013-06-07 blanchet [Fri, 07 Jun 2013 08:48:59 +0200] rev 52328
[mq]: tuning
src/HOL/BNF/Tools/bnf_fp_def_sugar.ML src/HOL/BNF/Tools/bnf_fp_util.ML src/HOL/BNF/Tools/bnf_gfp.ML src/HOL/BNF/Tools/bnf_lfp.ML