Sat, 28 Jun 2008 21:21:20 +0200 | wenzelm | include HOL-Plain; | changeset | files |
Sat, 28 Jun 2008 21:21:18 +0200 | wenzelm | tuned args parser (cf. args.ML); | changeset | files |
Sat, 28 Jun 2008 21:21:17 +0200 | wenzelm | replaced simple_text by fully-featured parse_args; | changeset | files |