src/HOL/Library/Pure_term.thy
Fri, 12 Oct 2007 08:21:09 +0200 haftmann consolidated naming conventions for code generator theories
Thu, 19 Jul 2007 21:47:39 +0200 haftmann uniform naming conventions for CG theories
Mon, 21 May 2007 19:11:42 +0200 haftmann tuned
Sun, 06 May 2007 21:50:17 +0200 haftmann changed code generator invocation syntax
Thu, 26 Apr 2007 13:33:12 +0200 haftmann tuned
Fri, 13 Apr 2007 21:26:35 +0200 wenzelm tuned document (headers, sections, spacing);
Fri, 30 Mar 2007 16:19:02 +0200 haftmann tuned
Mon, 26 Mar 2007 14:54:45 +0200 haftmann cleaned up Library/ and ex/
less more (0) tip