| Mon, 07 Aug 2006 03:10:38 +0200 | webertj | title fixed | changeset | files |
| Sat, 05 Aug 2006 15:15:07 +0200 | wenzelm | updated; | changeset | files |
| Sat, 05 Aug 2006 14:55:09 +0200 | wenzelm | avoid low-level tsig; | changeset | files |
| Sat, 05 Aug 2006 14:52:58 +0200 | wenzelm | reworked read_instantiate -- separate read_insts; | changeset | files |
| 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 |