Nominal/Ex/Foo1.thy
Sat, 13 Nov 2010 22:23:26 +0000 Christian Urban lifted permute_bn constants
Sat, 13 Nov 2010 10:25:03 +0000 Christian Urban respectfulness for permute_bn functions
Fri, 12 Nov 2010 01:20:53 +0000 Christian Urban automated permute_bn functions (raw ones first)
less more (0) -3 tip