Sat, 24 Sep 2005 21:13:15 +0200 | nipkow | a few new filter lemmas | changeset | files |
Sat, 24 Sep 2005 16:43:41 +0200 | obua | HOL4-Import: map ONTO to Fun.surj | changeset | files |
Sat, 24 Sep 2005 13:54:35 +0200 | webertj | cnf_struct renamed to cnf | changeset | files |