| Sat, 15 May 2010 22:15:57 +0200 | wenzelm | renamed Outer_Parse to Parse (in Scala); | changeset | files |
| Sat, 15 May 2010 22:05:49 +0200 | wenzelm | renamed Outer_Keyword to Keyword (in Scala); | changeset | files |
| Sat, 15 May 2010 21:57:27 +0200 | wenzelm | avoid open Conv; | changeset | files |
| Sat, 15 May 2010 21:50:05 +0200 | wenzelm | less pervasive names from structure Thm; | changeset | files |
| Sat, 15 May 2010 21:41:32 +0200 | wenzelm | less pervasive names from structure Thm; | changeset | files |
| Sat, 15 May 2010 21:09:54 +0200 | wenzelm | tuned; | changeset | files |
| Sat, 15 May 2010 18:29:18 +0200 | wenzelm | merged | changeset | files |