| Sat, 15 Sep 2007 19:25:32 +0200 | wenzelm | added ML/ml_lex.ML; | changeset | files |
| Sat, 15 Sep 2007 19:25:19 +0200 | wenzelm | removed redundant OuterLex.make_lexicon; | changeset | files |
| Fri, 14 Sep 2007 22:22:53 +0200 | krauss | lexicographic_order method uses "<*mlex*>" instead of "measures" => no longer depends on List.thy | changeset | files |