| Wed, 07 Jan 2009 08:03:25 +0100 | haftmann | proper local_theory after Class.class | changeset | files |
| Tue, 06 Jan 2009 22:08:42 +0100 | wenzelm | more parallel loading; | changeset | files |
| Tue, 06 Jan 2009 21:55:51 +0100 | wenzelm | more parallel loading; | changeset | files |
| Tue, 06 Jan 2009 21:17:43 +0100 | wenzelm | merged | changeset | files |
| Tue, 06 Jan 2009 09:18:02 -0800 | huffman | merged. | changeset | files |
| Tue, 06 Jan 2009 09:03:37 -0800 | huffman | make cont_proc handle eta-contracted terms | changeset | files |
| Tue, 06 Jan 2009 09:02:18 -0800 | huffman | implement is_closed_term using Term.loose_bvar | changeset | files |
| Mon, 05 Jan 2009 15:26:57 -0800 | huffman | use Thm.close_derivation instead of standard | changeset | files |
| Tue, 06 Jan 2009 21:17:37 +0100 | wenzelm | tuned; | changeset | files |
| Tue, 06 Jan 2009 14:45:45 +0100 | wenzelm | merged | changeset | files |
| Tue, 06 Jan 2009 14:43:35 +0100 | wenzelm | renamed structure ParList to Par_List; | changeset | files |
| Tue, 06 Jan 2009 14:33:49 +0100 | wenzelm | parallelized merge_data; | changeset | files |
| Tue, 06 Jan 2009 13:46:48 +0100 | wenzelm | tuned map: reduced overhead due to bulk jobs; | changeset | files |
| Tue, 06 Jan 2009 13:43:17 +0100 | wenzelm | added is_valid; | changeset | files |
| Tue, 06 Jan 2009 13:36:42 +0100 | wenzelm | future_terminal_proof: check Future.enabled; | changeset | files |
| Tue, 06 Jan 2009 08:50:12 +0100 | haftmann | merged | changeset | files |
| Tue, 06 Jan 2009 08:50:02 +0100 | haftmann | locale -> old_locale, new_locale -> locale | changeset | files |
| Mon, 05 Jan 2009 15:55:51 +0100 | haftmann | locale -> old_locale, new_locale -> locale | changeset | files |
| Mon, 05 Jan 2009 15:55:04 +0100 | haftmann | locale -> old_locale, new_locale -> locale | changeset | files |
| Mon, 05 Jan 2009 15:37:49 +0100 | haftmann | removed locale adaption layer | changeset | files |
| Mon, 05 Jan 2009 15:36:24 +0100 | haftmann | rearranged target theories | changeset | files |
| Mon, 05 Jan 2009 15:35:42 +0100 | haftmann | removed locale adaption layer | changeset | files |
| Mon, 05 Jan 2009 19:37:15 +0100 | wenzelm | merged | changeset | files |
| Mon, 05 Jan 2009 18:13:26 +0100 | wenzelm | misc tuning and modernization; | changeset | files |
| Mon, 05 Jan 2009 07:54:16 -0800 | huffman | merged. | changeset | files |
| Mon, 29 Dec 2008 11:04:27 -0800 | huffman | add lemma psize_unique; simplify some proofs | changeset | files |
| Mon, 29 Dec 2008 08:31:30 -0800 | huffman | minimize imports | changeset | files |
| Mon, 05 Jan 2009 14:29:26 +0100 | wenzelm | parallelize some internal proofs via Proof.future_terminal_proof; | changeset | files |
| Mon, 05 Jan 2009 14:22:40 +0100 | wenzelm | added future_terminal_proof; | changeset | files |
| Mon, 05 Jan 2009 00:13:11 +0100 | wenzelm | Isar.init; | changeset | files |