| Wed, 02 Jul 2008 07:11:57 +0200 | haftmann | cleaned up some code generator configuration | changeset | files |
| Tue, 01 Jul 2008 21:30:12 +0200 | wenzelm | tuned; | changeset | files |
| Tue, 01 Jul 2008 21:30:11 +0200 | wenzelm | added datatype category; | changeset | files |
| Tue, 01 Jul 2008 21:30:08 +0200 | wenzelm | replaced datatype kind by OuterKeyword.category; | changeset | files |
| Tue, 01 Jul 2008 21:20:18 +0200 | wenzelm | clean: HOL-Plain; | changeset | files |
| Tue, 01 Jul 2008 20:26:48 +0200 | huffman | prove lemma finite in context of finite class | changeset | files |
| Tue, 01 Jul 2008 20:10:59 +0200 | wenzelm | added HOL-Plain; | changeset | files |
| Tue, 01 Jul 2008 18:38:44 +0200 | wenzelm | explicit identification of toplevel commands, with status etc.; | changeset | files |
| Tue, 01 Jul 2008 18:38:43 +0200 | wenzelm | added name_of; | changeset | files |
| Tue, 01 Jul 2008 18:38:41 +0200 | wenzelm | added get_id/put_id; | changeset | files |
| Tue, 01 Jul 2008 09:58:32 +0200 | haftmann | (removed Complex/ROOT.ML) | changeset | files |
| Tue, 01 Jul 2008 08:19:00 +0200 | haftmann | HOL += HOL-Complex | changeset | files |
| Tue, 01 Jul 2008 08:05:08 +0200 | haftmann | HOL += HOL-Complex | changeset | files |
| Tue, 01 Jul 2008 07:58:37 +0200 | haftmann | tuned | changeset | files |
| Tue, 01 Jul 2008 07:58:17 +0200 | haftmann | HOL += HOL-Complex | changeset | files |
| Tue, 01 Jul 2008 07:13:45 +0200 | huffman | put file dependencies on separate lines | changeset | files |
| Tue, 01 Jul 2008 06:56:37 +0200 | huffman | range_composition no longer in simp set | changeset | files |
| Tue, 01 Jul 2008 06:51:59 +0200 | huffman | remove simp attribute from range_composition | changeset | files |
| Tue, 01 Jul 2008 06:21:28 +0200 | huffman | rename INF to INFM | changeset | files |
| Tue, 01 Jul 2008 03:14:00 +0200 | huffman | remove unused lemmas ub2ub_monofun' and dir2dir_monofun | changeset | files |
| Tue, 01 Jul 2008 03:12:39 +0200 | huffman | remove redundant instance proof finite_po < cpo | changeset | files |
| Tue, 01 Jul 2008 02:50:29 +0200 | huffman | remove unused lemma is_lub_Iup' | changeset | files |
| Tue, 01 Jul 2008 02:19:53 +0200 | huffman | replace lub (range Y) with (LUB i. Y i) | changeset | files |
| Tue, 01 Jul 2008 01:28:44 +0200 | huffman | add file dependencies | changeset | files |
| Tue, 01 Jul 2008 01:28:07 +0200 | huffman | universal bifinite domain | changeset | files |
| Tue, 01 Jul 2008 01:26:20 +0200 | huffman | isomorphisms between naturals and sums, products, and finite sets | changeset | files |
| Tue, 01 Jul 2008 01:25:40 +0200 | huffman | theory of algebraic deflations | changeset | files |
| Tue, 01 Jul 2008 01:25:16 +0200 | huffman | theory of eventually-constant sequences | changeset | files |