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 |