| Thu, 30 Jun 2011 00:09:57 +0200 | wenzelm | abstract algebra of file paths in Scala (cf. path.ML); | changeset | files |
| Thu, 30 Jun 2011 00:01:00 +0200 | wenzelm | proper Path.print; | changeset | files |
| Wed, 29 Jun 2011 23:43:48 +0200 | wenzelm | basic operations on lists and strings; | changeset | files |
| Wed, 29 Jun 2011 21:34:16 +0200 | wenzelm | tuned signature; | changeset | files |
| Wed, 29 Jun 2011 20:39:41 +0200 | wenzelm | simplified/unified Simplifier.mk_solver; | changeset | files |
| Wed, 29 Jun 2011 18:12:34 +0200 | wenzelm | modernized some simproc setup; | changeset | files |
| Wed, 29 Jun 2011 17:35:46 +0200 | wenzelm | modernized some simproc setup; | changeset | files |