| Sat, 19 Apr 2008 12:31:07 +0200 | wenzelm | updated generated file; | changeset | files |
| Sat, 19 Apr 2008 12:04:17 +0200 | wenzelm | NamedThmsFun: removed obsolete print command -- facts are accesible via dynamic name; | changeset | files |
| Fri, 18 Apr 2008 23:58:04 +0200 | wenzelm | removed dead code; | changeset | files |