| Tue, 22 Apr 2008 08:33:10 +0200 | haftmann | dropped theory PreList | changeset | files |
| Tue, 22 Apr 2008 08:33:09 +0200 | haftmann | added entries | changeset | files |
| Mon, 21 Apr 2008 00:06:55 +0200 | isatest | move some at/a64 tests to intel mac hardware (running Linux) | changeset | files |
| Sat, 19 Apr 2008 12:36:12 +0200 | wenzelm | updated generated file; | changeset | files |
| 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 |