src/Doc/Tutorial/Misc/appendix.thy
Mon, 26 Sep 2016 07:56:54 +0200 haftmann syntactic type class for operation mod named after mod;
less more (0) -1 tip