CookBook/Package/Ind_Interface.thy
Sat, 29 Nov 2008 21:20:18 +0000 Christian Urban removed the @{ML ...} antiquotation in favour of @{ML_open ...x}
Mon, 27 Oct 2008 18:48:52 +0100 Christian Urban tuned mostly antiquotation and text
Mon, 13 Oct 2008 17:51:59 +0200 berghofe Tuned.
Fri, 10 Oct 2008 17:13:21 +0200 berghofe Added new chapter about writing packages.
less more (0) tip