| Sun, 19 Jun 2005 00:02:06 +0200 | wenzelm | some minor adaptions to make it work again; | changeset | files |
| Sat, 18 Jun 2005 22:57:23 +0200 | wenzelm | tuned; | changeset | files |
| Sat, 18 Jun 2005 22:47:44 +0200 | wenzelm | tuned remove; | changeset | files |
| Sat, 18 Jun 2005 22:42:01 +0200 | wenzelm | added member; | changeset | files |
| Sat, 18 Jun 2005 22:41:18 +0200 | wenzelm | added Pure/General/ord_list.ML; | changeset | files |
| Sat, 18 Jun 2005 22:40:51 +0200 | wenzelm | Ordered lists without duplicates. | changeset | files |
| Sat, 18 Jun 2005 00:38:18 +0200 | huffman | fixrec shows unsolved subgoals when proofs of rewrites fail | changeset | files |
| Sat, 18 Jun 2005 00:33:27 +0200 | huffman | make match_rews into simp rules by default | changeset | files |