| 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 |
| Sat, 05 Aug 2006 00:52:17 +0200 | isatest | use atbroy101 instead of atbroy98 (freezes up) | changeset | files |
| Fri, 04 Aug 2006 18:01:45 +0200 | krauss | Added Keywords: "otherwise" and "sequential", needed for function package's | changeset | files |
| Fri, 04 Aug 2006 12:01:31 +0200 | chaieb | *** empty log message *** | changeset | files |