Mon, 02 Jun 2014 16:19:37 +0200 | hoelzl | remove superfluous assumption | changeset | files |
Mon, 02 Jun 2014 15:10:18 +0200 | fleury | basic setup for zipperposition prover | changeset | files |
Mon, 02 Jun 2014 14:29:20 +0200 | desharna | document property 'sel_set' | changeset | files |