| Sat, 05 Aug 2006 14:52:57 +0200 | wenzelm | tuned; | changeset | files |
| Sat, 05 Aug 2006 14:52:55 +0200 | wenzelm | removed obsolete sign_of; | changeset | files |
| Sat, 05 Aug 2006 14:52:53 +0200 | wenzelm | Amine Chaieb: experimental generic reflection and reification in HOL; | changeset | files |
| Sat, 05 Aug 2006 00:52:17 +0200 | isatest | use atbroy101 instead of atbroy98 (freezes up) | changeset | files |