| 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 |
| Sat, 24 Sep 2005 13:26:40 +0200 | obua | remove debug clutter | changeset | files |
| Sat, 24 Sep 2005 13:11:05 +0200 | obua | preliminary fix of HOL build problem | changeset | files |
| Sat, 24 Sep 2005 10:47:22 +0200 | obua | bug fix | changeset | files |
| Sat, 24 Sep 2005 07:57:50 +0200 | webertj | replay_proof optimized: now performs backwards proof search | changeset | files |
| Sat, 24 Sep 2005 07:21:46 +0200 | webertj | code reformatted and restructured, many minor modifications | changeset | files |