| Tue, 05 Jun 2007 09:56:19 +0200 | urbanc | included Class.thy in the compiling process for Nominal/Examples | changeset | files |
| Tue, 05 Jun 2007 07:58:50 +0200 | huffman | remove simp attribute from lemma_STAR theorems | changeset | files |
| Tue, 05 Jun 2007 00:54:03 +0200 | huffman | add lemma exp_of_real | changeset | files |
| Mon, 04 Jun 2007 22:27:18 +0200 | nipkow | tuned list comprehension | changeset | files |
| Mon, 04 Jun 2007 21:04:20 +0200 | wenzelm | tuned; | changeset | files |
| Mon, 04 Jun 2007 21:04:19 +0200 | wenzelm | added is_atomic; | changeset | files |
| Mon, 04 Jun 2007 21:04:19 +0200 | wenzelm | added assume_rule_tac; | changeset | files |
| Mon, 04 Jun 2007 15:43:32 +0200 | haftmann | reverted appnd to append | changeset | files |
| Mon, 04 Jun 2007 15:43:31 +0200 | haftmann | authentic syntax for List.append | changeset | files |
| Mon, 04 Jun 2007 15:43:30 +0200 | haftmann | tuned comments | changeset | files |
| Mon, 04 Jun 2007 13:22:22 +0200 | urbanc | added a few comments to the proofs | changeset | files |
| Mon, 04 Jun 2007 11:39:19 +0200 | chaieb | removed fixmes | changeset | files |
| Mon, 04 Jun 2007 11:38:34 +0200 | chaieb | opaque-constraint removed | changeset | files |
| Mon, 04 Jun 2007 09:57:02 +0200 | chaieb | tuned; | changeset | files |
| Sun, 03 Jun 2007 23:16:57 +0200 | wenzelm | monomorphic equality: let ML work out the details; | changeset | files |
| Sun, 03 Jun 2007 23:16:56 +0200 | wenzelm | added gen_merge_lists/merge_lists/merge_alists (legacy operations from library.ML); | changeset | files |