src/HOL/BNF_Examples/Compat.thy
Thu, 10 Apr 2014 11:34:55 +0200 traytel reintroduce example (cf. 39281b3e4fac)
Tue, 08 Apr 2014 18:48:10 +0200 blanchet commented out example that triggers a bug
Tue, 08 Apr 2014 18:16:47 +0200 blanchet allow arguments to 'datatype_compat' in disorder
Tue, 08 Apr 2014 18:06:21 +0200 blanchet added 'datatype_compat' examples/tests
less more (0) tip