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 |