| 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 |
| Sun, 03 Jun 2007 23:16:55 +0200 | wenzelm | tuned Tactic signature; | changeset | files |
| Sun, 03 Jun 2007 23:16:54 +0200 | wenzelm | removed obsolete Library.seq; | changeset | files |
| Sun, 03 Jun 2007 23:16:53 +0200 | wenzelm | moved flip to library.ML; | changeset | files |