src/HOL/BNF/Examples/Misc_Datatype.thy
Wed, 21 Aug 2013 09:25:40 +0200 blanchet renamed theory files to be closer to (new) command names
less more (0) tip