| Tue, 14 Feb 2006 13:03:00 +0100 | paulson | fixed tracing | changeset | files |
| Mon, 13 Feb 2006 17:02:54 +0100 | berghofe | Adapted to Context.generic syntax. | changeset | files |
| Mon, 13 Feb 2006 14:05:43 +0100 | mengj | Fixed a bug of type unification. | changeset | files |
| Sun, 12 Feb 2006 21:34:28 +0100 | wenzelm | * ML/Pure/General: improved join interface for tables; | changeset | files |
| Sun, 12 Feb 2006 21:34:27 +0100 | wenzelm | consts: maintain thy version for efficient transfer; | changeset | files |
| Sun, 12 Feb 2006 21:34:26 +0100 | wenzelm | tuned; | changeset | files |
| Sun, 12 Feb 2006 21:34:25 +0100 | wenzelm | export exception SAME (for join); | changeset | files |