| Tue, 18 Nov 2014 16:19:57 +0100 | kuncar | tuned; store pred_simps | changeset | files |
| Tue, 18 Nov 2014 16:19:57 +0100 | kuncar | lift_definition: return the result of lifting | changeset | files |
| Tue, 18 Nov 2014 16:19:57 +0100 | kuncar | lift_definition: interface also with tactic | changeset | files |
| Tue, 18 Nov 2014 16:19:57 +0100 | kuncar | generalize prove_schematic_quot_thm | changeset | files |
| Tue, 18 Nov 2014 16:19:51 +0100 | kuncar | added pred_def, rel_eq_onp tuned | changeset | files |
| Sun, 03 May 2015 00:01:10 +0200 | wenzelm | misc tuning, based on warnings by IntelliJ IDEA; | changeset | files |
| Fri, 01 May 2015 15:33:43 +0200 | wenzelm | tuned; | changeset | files |