| Sat, 08 Jan 2011 17:14:48 +0100 | wenzelm | misc tuning and comments based on review of Theory_Data, Proof_Data, Generic_Data usage; | file | diff | annotate |
| Fri, 17 Dec 2010 18:24:44 +0100 | haftmann | avoid slightly odd Conv.tap_thy | file | diff | annotate |
| Wed, 15 Dec 2010 09:47:12 +0100 | haftmann | simplified evaluation function names | file | diff | annotate |
| Fri, 26 Nov 2010 22:33:21 +0100 | haftmann | keep type variable arguments of datatype constructors in bookkeeping | file | diff | annotate |
| Mon, 20 Sep 2010 18:43:23 +0200 | haftmann | dynamic_eval_conv static_eval_conv: certification of previously unreliably reconstructed evaluated term | file | diff | annotate |
| Mon, 20 Sep 2010 15:25:32 +0200 | haftmann | full palette of dynamic/static value(_strict/exn) | file | diff | annotate |
| Mon, 20 Sep 2010 15:10:21 +0200 | haftmann | Factored out ML into separate file | file | diff | annotate |