| Fri, 05 Oct 2007 22:00:11 +0200 | wenzelm | tuned induct etc.; | changeset | files |
| Fri, 05 Oct 2007 20:10:35 +0200 | wenzelm | execute/system: non-critical; | changeset | files |
| Fri, 05 Oct 2007 20:10:33 +0200 | wenzelm | subtract: minor performance tuning; | changeset | files |
| Fri, 05 Oct 2007 11:16:30 +0200 | wenzelm | cover only .gz files; | changeset | files |
| Fri, 05 Oct 2007 09:59:21 +0200 | paulson | metis method: used theorems | changeset | files |
| Fri, 05 Oct 2007 09:59:03 +0200 | paulson | filtering out some package theorems | changeset | files |
| Fri, 05 Oct 2007 08:38:09 +0200 | nipkow | added lemmas | changeset | files |
| Thu, 04 Oct 2007 21:11:06 +0200 | wenzelm | single-threaded profiling; | changeset | files |
| Thu, 04 Oct 2007 21:10:41 +0200 | wenzelm | tuned; | changeset | files |
| Thu, 04 Oct 2007 20:29:42 +0200 | wenzelm | Name.uu, Name.aT; | changeset | files |
| Thu, 04 Oct 2007 20:29:33 +0200 | wenzelm | added uu, aT; | changeset | files |
| Thu, 04 Oct 2007 20:29:24 +0200 | wenzelm | replaced literal 'a by Name.aT; | changeset | files |
| Thu, 04 Oct 2007 20:29:13 +0200 | wenzelm | replaced AxClass.param_tyvarname by Name.aT; | changeset | files |
| Thu, 04 Oct 2007 19:54:47 +0200 | haftmann | added nth_drop | changeset | files |
| Thu, 04 Oct 2007 19:54:46 +0200 | haftmann | tuned datatype_codegen setup | changeset | files |
| Thu, 04 Oct 2007 19:54:44 +0200 | haftmann | certificates for code generator case expressions | changeset | files |
| Thu, 04 Oct 2007 19:46:09 +0200 | haftmann | added illustrative diagnostics | changeset | files |
| Thu, 04 Oct 2007 19:42:03 +0200 | haftmann | clarified declarations in class ord | changeset | files |
| Thu, 04 Oct 2007 19:41:55 +0200 | haftmann | concept for exceptions | changeset | files |
| Thu, 04 Oct 2007 19:41:54 +0200 | haftmann | clarified name suffix | changeset | files |
| Thu, 04 Oct 2007 19:41:53 +0200 | haftmann | step towards proper purge operation | changeset | files |
| Thu, 04 Oct 2007 19:41:52 +0200 | haftmann | put declarations first | changeset | files |
| Thu, 04 Oct 2007 19:41:51 +0200 | haftmann | clarified terminology | changeset | files |
| Thu, 04 Oct 2007 19:41:50 +0200 | haftmann | intermediate cleanup | changeset | files |
| Thu, 04 Oct 2007 19:41:49 +0200 | haftmann | clarified relationship of code generator conversions and evaluations | changeset | files |
| Thu, 04 Oct 2007 16:59:30 +0200 | wenzelm | abs_conv/forall_conv: proper context (avoid gensym); | changeset | files |
| Thu, 04 Oct 2007 16:59:29 +0200 | wenzelm | load variable.ML before conv.ML; | changeset | files |
| Thu, 04 Oct 2007 16:59:28 +0200 | wenzelm | Conv.forall_conv: proper context; | changeset | files |