src/HOL/Tools/ctr_sugar_tactics.ML
Tue, 19 Nov 2013 14:33:20 +0100 case_if -> case_eq_if + docs
Wed, 13 Nov 2013 12:32:26 +0100 shortened generated property name
Tue, 12 Nov 2013 13:47:24 +0100 tuned headers
Tue, 12 Nov 2013 13:47:24 +0100 moved 'Ctr_Sugar' files out of BNF, so that it can become a general-purpose abstraction