2013-05-02 blanchet [Thu, 02 May 2013 11:19:05 +0200] rev 51857
tuned names -- co_ and un_ with underscore are to be understood as (co) and (un)
src/HOL/BNF/Tools/bnf_fp_def_sugar.ML

2013-05-02 blanchet [Thu, 02 May 2013 10:16:40 +0200] rev 51856
tuning
src/HOL/BNF/Tools/bnf_fp_def_sugar.ML

2013-05-02 blanchet [Thu, 02 May 2013 10:11:14 +0200] rev 51855
more code rationalization
src/HOL/BNF/Tools/bnf_fp_def_sugar.ML

2013-05-02 blanchet [Thu, 02 May 2013 10:05:30 +0200] rev 51854
more code rationalization
src/HOL/BNF/Tools/bnf_fp_def_sugar.ML

2013-05-02 blanchet [Thu, 02 May 2013 09:50:58 +0200] rev 51853
more code rationalization
src/HOL/BNF/Tools/bnf_fp_def_sugar.ML

2013-05-02 blanchet [Thu, 02 May 2013 09:41:29 +0200] rev 51852
refactoring
src/HOL/BNF/Tools/bnf_fp_def_sugar.ML

2013-05-02 nipkow [Thu, 02 May 2013 03:13:47 +0200] rev 51851
tuned
src/HOL/IMP/Abs_Int2.thy

2013-05-01 blanchet [Wed, 01 May 2013 19:33:49 +0200] rev 51850
renamed a few FP-related files, to make it clear that these are not the sum of LFP + GFP but rather shared basic libraries
src/HOL/BNF/BNF_FP.thy src/HOL/BNF/BNF_FP_Basic.thy src/HOL/BNF/BNF_GFP.thy src/HOL/BNF/BNF_LFP.thy src/HOL/BNF/Tools/bnf_fp.ML src/HOL/BNF/Tools/bnf_fp_def_sugar.ML src/HOL/BNF/Tools/bnf_fp_def_sugar_tactics.ML src/HOL/BNF/Tools/bnf_fp_util.ML src/HOL/BNF/Tools/bnf_gfp.ML src/HOL/BNF/Tools/bnf_gfp_tactics.ML src/HOL/BNF/Tools/bnf_lfp.ML

2013-05-01 nipkow [Wed, 01 May 2013 06:00:55 +0200] rev 51849
tuned
src/HOL/IMP/Abs_Int2.thy

2013-05-01 nipkow [Wed, 01 May 2013 03:56:57 +0200] rev 51848
tuned
src/HOL/IMP/Abs_Int2.thy