src/HOL/Codatatype/Tools/bnf_fp_sugar.ML
Tue, 04 Sep 2012 13:02:26 +0200 blanchet started work on sugared "(co)data" commands
less more (0) tip