Mon, 07 Jul 2008 08:47:17 +0200 | haftmann | absolute imports of HOL/*.thy theories | file | diff | annotate |
Thu, 26 Jun 2008 10:07:01 +0200 | haftmann | established Plain theory and image | file | diff | annotate |
Tue, 10 Jun 2008 15:30:06 +0200 | haftmann | major refactorings in code generator modules | file | diff | annotate |
Sun, 18 May 2008 15:04:09 +0200 | wenzelm | moved global pretty/string_of functions from Sign to Syntax; | file | diff | annotate |
Fri, 22 Feb 2008 16:31:37 +0100 | haftmann | non-operative code antiquotation | file | diff | annotate |
Mon, 10 Dec 2007 11:24:12 +0100 | haftmann | switched import from Main to List | file | diff | annotate |
Thu, 04 Oct 2007 19:41:49 +0200 | haftmann | clarified relationship of code generator conversions and evaluations | file | diff | annotate |
Wed, 15 Aug 2007 08:57:40 +0200 | haftmann | added Eval_Witness theory | file | diff | annotate |