| Wed, 07 Jun 2006 02:01:33 +0200 | wenzelm | renamed Type.(un)varifyT to Logic.(un)varifyT; | changeset | files |
| Wed, 07 Jun 2006 02:01:32 +0200 | wenzelm | added 'if' and 'for' keywords; | changeset | files |
| Wed, 07 Jun 2006 02:01:31 +0200 | wenzelm | added facts_of; | changeset | files |