| Tue, 21 Oct 2008 21:20:17 +0200 | berghofe | More general, still experimental version of nominal_inductive for | changeset | files |
| Tue, 21 Oct 2008 21:18:54 +0200 | berghofe | Added nominal_inductive2.ML | changeset | files |
| Tue, 21 Oct 2008 20:18:45 +0200 | wenzelm | added jEdit settings; | changeset | files |
| Tue, 21 Oct 2008 20:18:07 +0200 | wenzelm | tuned usage line; | changeset | files |
| Tue, 21 Oct 2008 20:17:40 +0200 | wenzelm | Isabelle/jEdit interface wrapper. | changeset | files |
| Tue, 21 Oct 2008 16:53:10 +0200 | wenzelm | join results in isolation; | changeset | files |
| Tue, 21 Oct 2008 16:53:00 +0200 | wenzelm | join_results: allow CRITICAL join of finished futures; | changeset | files |
| Tue, 21 Oct 2008 16:52:59 +0200 | wenzelm | Future.join_result; | changeset | files |
| Tue, 21 Oct 2008 15:01:18 +0200 | wenzelm | added Future.enabled check; | changeset | files |
| Tue, 21 Oct 2008 15:01:16 +0200 | wenzelm | ThyOutput: export some auxiliary operations; | changeset | files |
| Mon, 20 Oct 2008 23:53:17 +0200 | nipkow | fixed proof | changeset | files |
| Mon, 20 Oct 2008 23:52:59 +0200 | nipkow | added lemmas | changeset | files |
| Sun, 19 Oct 2008 21:20:55 +0200 | berghofe | Names of variables in perm_eqs are now chosen more carefully to avoid | changeset | files |
| Sun, 19 Oct 2008 21:19:27 +0200 | berghofe | - removed test_params from CodegenData (now in Pure/Tools/quickcheck.ML) | changeset | files |
| Sun, 19 Oct 2008 21:14:53 +0200 | berghofe | datatype_codegen now checks name of result type of constructor | changeset | files |
| Sun, 19 Oct 2008 20:09:37 +0200 | wenzelm | run a program in a modified environment; | changeset | files |
| Fri, 17 Oct 2008 10:39:39 +0200 | wenzelm | reactivated HOL-Matrix; | changeset | files |
| Fri, 17 Oct 2008 10:21:03 +0200 | haftmann | tuned | changeset | files |
| Fri, 17 Oct 2008 10:14:38 +0200 | haftmann | filled remaining gaps | changeset | files |
| Fri, 17 Oct 2008 10:14:12 +0200 | haftmann | added type antiquotation | changeset | files |
| Thu, 16 Oct 2008 23:58:29 +0200 | wenzelm | tuned; | changeset | files |
| Thu, 16 Oct 2008 23:56:57 +0200 | wenzelm | added dep for Concurrent/ROOT.ML; | changeset | files |
| Thu, 16 Oct 2008 23:47:01 +0200 | wenzelm | tuned; | changeset | files |
| Thu, 16 Oct 2008 23:21:23 +0200 | wenzelm | removed Locales; | changeset | files |