| Sat, 06 Oct 2007 17:46:52 +0200 | wenzelm | report on keyword/command declarations; | changeset | files |
| Sat, 06 Oct 2007 17:46:51 +0200 | wenzelm | tuned; | changeset | files |
| Sat, 06 Oct 2007 17:46:49 +0200 | wenzelm | added keyword_decl, command_decl; | changeset | files |
| Sat, 06 Oct 2007 16:50:09 +0200 | wenzelm | added class_expr; | changeset | files |
| Sat, 06 Oct 2007 16:50:08 +0200 | wenzelm | simplified interfaces for outer syntax; | changeset | files |
| Sat, 06 Oct 2007 16:50:04 +0200 | wenzelm | simplified interfaces for outer syntax; | changeset | files |
| Sat, 06 Oct 2007 16:41:22 +0200 | wenzelm | updated; | changeset | files |
| Fri, 05 Oct 2007 23:04:17 +0200 | wenzelm | (co)induct: polymorhic taking''; | changeset | files |
| Fri, 05 Oct 2007 23:04:16 +0200 | wenzelm | added burrow_options; | changeset | files |
| Fri, 05 Oct 2007 23:04:14 +0200 | wenzelm | tuned proofs (via polymorphic taking''); | changeset | files |
| Fri, 05 Oct 2007 22:00:17 +0200 | wenzelm | export get_consumes; | changeset | files |
| Fri, 05 Oct 2007 22:00:15 +0200 | wenzelm | tuned Induct interface: prefer pred'' over set''; | changeset | files |
| Fri, 05 Oct 2007 22:00:13 +0200 | wenzelm | coinduct: instantiation refers to suffix of main prop (major premise or conclusion); | changeset | files |
| 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 |