| Fri, 29 Sep 2006 22:47:04 +0200 | wenzelm | removed mixfix_content; | changeset | files |
| Fri, 29 Sep 2006 22:47:03 +0200 | wenzelm | Syntax.mode; | changeset | files |
| Fri, 29 Sep 2006 22:47:01 +0200 | wenzelm | Syntax.mode; | changeset | files |
| Fri, 29 Sep 2006 22:46:59 +0200 | wenzelm | Sign.add_consts_authentic; | changeset | files |
| Fri, 29 Sep 2006 22:46:57 +0200 | wenzelm | proper use of matrixlp.ML; | changeset | files |
| Fri, 29 Sep 2006 11:32:58 +0200 | wenzelm | simplified is_package_def -- be less ambitious about B library operations; | changeset | files |
| Thu, 28 Sep 2006 23:43:02 +0200 | wenzelm | obsolete; | changeset | files |