Thu, 21 Aug 2014 14:41:08 +0200 | haftmann | integrated appendix theory into main theory; | changeset | files |
Thu, 21 Aug 2014 14:41:05 +0200 | haftmann | dropped dead file | changeset | files |
Thu, 21 Aug 2014 13:59:45 +0200 | desharna | fix tactic failure with rel_induct0 | changeset | files |