| Mon, 14 Dec 2009 13:56:24 +0100 |
Cezary Kaliszyk |
FIXME/TODO.
|
file |
diff |
annotate
|
| Fri, 11 Dec 2009 16:32:40 +0100 |
Cezary Kaliszyk |
FSet3 minor fixes + cases
|
file |
diff |
annotate
|
| Fri, 11 Dec 2009 13:51:08 +0100 |
Cezary Kaliszyk |
Updated TODO list together.
|
file |
diff |
annotate
|
| Thu, 10 Dec 2009 18:28:30 +0100 |
Christian Urban |
added Larry's theory; introduced lemma equivpI; added something to the TODO about error messages
|
file |
diff |
annotate
|
| Fri, 04 Dec 2009 15:18:33 +0100 |
Cezary Kaliszyk |
More name changes
|
file |
diff |
annotate
|
| Fri, 04 Dec 2009 14:35:36 +0100 |
Cezary Kaliszyk |
code cleaning and renaming
|
file |
diff |
annotate
|
| Fri, 04 Dec 2009 14:11:03 +0100 |
Cezary Kaliszyk |
Removed previous inj_repabs_tac
|
file |
diff |
annotate
|
| Fri, 04 Dec 2009 12:20:49 +0100 |
Cezary Kaliszyk |
rep_abs_rsp_tac to replace the last use of instantiate_tac with matching and unification.
|
file |
diff |
annotate
|
| Fri, 04 Dec 2009 09:33:32 +0100 |
Cezary Kaliszyk |
Fixes after big merge.
|
file |
diff |
annotate
|
| Fri, 04 Dec 2009 09:25:27 +0100 |
Cezary Kaliszyk |
The big merge; probably non-functional.
|
file |
diff |
annotate
|
| Fri, 04 Dec 2009 09:01:13 +0100 |
Cezary Kaliszyk |
First version of the deterministic rep-abs-inj-tac.
|
file |
diff |
annotate
|
| Thu, 03 Dec 2009 15:03:31 +0100 |
Christian Urban |
removed quot argument...not all examples work anymore
|
file |
diff |
annotate
|
| Thu, 03 Dec 2009 13:59:53 +0100 |
Christian Urban |
first version of internalised quotient theorems; added FIXME-TODO
|
file |
diff |
annotate
|