| 2006-09-29 | wenzelm | Syntax.mode; | changeset | files |
| 2006-09-29 | wenzelm | Syntax.mode; | changeset | files |
| 2006-09-29 | wenzelm | Sign.add_consts_authentic; | changeset | files |
| 2006-09-29 | wenzelm | proper use of matrixlp.ML; | changeset | files |
| 2006-09-29 | wenzelm | simplified is_package_def -- be less ambitious about B library operations; | changeset | files |
| 2006-09-28 | wenzelm | obsolete; | changeset | files |
| 2006-09-28 | wenzelm | added share_data; | changeset | files |
| 2006-09-28 | wenzelm | Sign.add_consts_authentic; | changeset | files |
| Loading... | |||