| Tue, 28 Aug 2007 03:49:18 +0200 | huffman | Word Examples directory | changeset | files |
| Tue, 28 Aug 2007 00:18:10 +0200 | kleing | add parallel sessions for atbroy99 and macbroy6 | changeset | files |
| Mon, 27 Aug 2007 17:34:55 +0200 | wenzelm | HOL_USEDIR_OPTIONS: no special -M setting (now works with multithreaded); | changeset | files |
| Mon, 27 Aug 2007 14:19:38 +0200 | nipkow | Added infinite_descent | changeset | files |
| Mon, 27 Aug 2007 11:34:19 +0200 | haftmann | updated keywords | changeset | files |
| Mon, 27 Aug 2007 11:34:18 +0200 | haftmann | added code_props | changeset | files |
| Mon, 27 Aug 2007 11:34:17 +0200 | haftmann | introduces params_of_sort | changeset | files |
| Mon, 27 Aug 2007 11:34:16 +0200 | haftmann | added simple definition scheme | changeset | files |
| Mon, 27 Aug 2007 11:34:14 +0200 | haftmann | added explicit equation for equality of nested environments | changeset | files |
| Mon, 27 Aug 2007 08:31:01 +0200 | haftmann | circumvented infix problem | changeset | files |
| Sun, 26 Aug 2007 21:28:08 +0200 | nipkow | tuned linear arith (once again) with ring_distribs | changeset | files |
| Sun, 26 Aug 2007 14:37:18 +0200 | haftmann | made SML/NJ happy | changeset | files |
| Sun, 26 Aug 2007 01:19:20 +0200 | kleing | described 'rotated' attribute | changeset | files |
| Sat, 25 Aug 2007 09:22:22 +0200 | haftmann | made SML/NJ happy | changeset | files |
| Fri, 24 Aug 2007 14:21:33 +0200 | paulson | revised blacklisting for ATP linkup | changeset | files |
| Fri, 24 Aug 2007 14:17:54 +0200 | paulson | new derived rule: incr_type_indexes | changeset | files |
| Fri, 24 Aug 2007 14:16:44 +0200 | paulson | Returning both a "one-line" proof and a structured proof | changeset | files |
| Fri, 24 Aug 2007 14:15:58 +0200 | paulson | Reconstruction bug fix | changeset | files |
| Fri, 24 Aug 2007 14:14:20 +0200 | haftmann | overloaded definitions accompanied by explicit constants | changeset | files |
| Fri, 24 Aug 2007 14:14:18 +0200 | haftmann | moved class dense_linear_order to Orderings.thy | changeset | files |
| Fri, 24 Aug 2007 14:14:17 +0200 | haftmann | updated | changeset | files |
| Fri, 24 Aug 2007 14:14:16 +0200 | haftmann | made sets executable | changeset | files |
| Fri, 24 Aug 2007 00:37:12 +0200 | huffman | remove unused lemmas | changeset | files |
| Fri, 24 Aug 2007 00:23:51 +0200 | huffman | bin_sc_nth proof | changeset | files |
| Thu, 23 Aug 2007 23:37:51 +0200 | huffman | remove lemma bin_rec_PM | changeset | files |
| Thu, 23 Aug 2007 23:34:51 +0200 | huffman | avoid use of bin_rec_PM | changeset | files |
| Thu, 23 Aug 2007 20:15:45 +0200 | huffman | new instance proofs | changeset | files |
| Thu, 23 Aug 2007 18:53:53 +0200 | huffman | remove unused lemmas | changeset | files |