src/Doc/Tutorial/Rules/Basic.thy
Fri, 19 Jul 2013 17:35:12 +0200 wenzelm turned pattern unify flag into configuration option (global only);
less more (0) tip