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