Tue, 18 Nov 2014 16:19:57 +0100 |
kuncar |
useful function
|
changeset |
files
|
Tue, 18 Nov 2014 16:19:57 +0100 |
kuncar |
parametrize liting of terms by quotients
|
changeset |
files
|
Tue, 18 Nov 2014 16:19:57 +0100 |
kuncar |
improve handling of predicators in rsp_thm
|
changeset |
files
|
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
|
Fri, 01 May 2015 15:18:50 +0200 |
wenzelm |
updated screenshot;
|
changeset |
files
|
Fri, 01 May 2015 14:35:13 +0200 |
wenzelm |
clarified markup range;
|
changeset |
files
|
Fri, 01 May 2015 13:58:06 +0200 |
wenzelm |
modifier markup for all parsed tokens;
|
changeset |
files
|
Fri, 01 May 2015 00:27:04 +0200 |
wenzelm |
updated screenshots;
|
changeset |
files
|