| Sat, 15 Sep 2007 19:25:43 +0200 | wenzelm | Lexical syntax for SML. | changeset | files |
| 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 |
| Fri, 14 Sep 2007 22:21:46 +0200 | krauss | added "<*mlex*>" which lexicographically combines a measure function with a relation | changeset | files |
| Fri, 14 Sep 2007 17:02:34 +0200 | wenzelm | moved ML_XXX.ML files to Pure/ML; | changeset | files |
| Fri, 14 Sep 2007 15:27:12 +0200 | paulson | tidied | changeset | files |