2006-02-13 | mengj | Fixed a bug of type unification. | changeset | files |
2006-02-12 | wenzelm | * ML/Pure/General: improved join interface for tables; | changeset | files |
2006-02-12 | wenzelm | consts: maintain thy version for efficient transfer; | changeset | files |
Loading... |