Christian Urban <urbanc@in.tum.de> [Tue, 08 Dec 2009 01:25:43 +0100] rev 614
added a thm list for ids
Christian Urban <urbanc@in.tum.de> [Tue, 08 Dec 2009 01:00:21 +0100] rev 613
removed a fixme: map_info is now checked
Christian Urban <urbanc@in.tum.de> [Mon, 07 Dec 2009 23:45:51 +0100] rev 612
tuning of the code
Christian Urban <urbanc@in.tum.de> [Mon, 07 Dec 2009 21:54:14 +0100] rev 611
merged
Christian Urban <urbanc@in.tum.de> [Mon, 07 Dec 2009 21:53:50 +0100] rev 610
removed "global" data and lookup functions; had to move a tactic out from the inj_repabs_match tactic since apply_rsp interferes with a trans2 rule for ===>
Cezary Kaliszyk <kaliszyk@in.tum.de> [Mon, 07 Dec 2009 21:25:49 +0100] rev 609
3 lambda examples in FSet. In the last one regularize_term fails.
Cezary Kaliszyk <kaliszyk@in.tum.de> [Mon, 07 Dec 2009 21:21:57 +0100] rev 608
Handling of errors in lambda_prs_conv.
Cezary Kaliszyk <kaliszyk@in.tum.de> [Mon, 07 Dec 2009 21:21:23 +0100] rev 607
babs_prs
Christian Urban <urbanc@in.tum.de> [Mon, 07 Dec 2009 18:49:14 +0100] rev 606
clarified the function examples
Christian Urban <urbanc@in.tum.de> [Mon, 07 Dec 2009 17:57:33 +0100] rev 605
first attempt to deal with Babs in regularise and cleaning (not yet working)
Christian Urban <urbanc@in.tum.de> [Mon, 07 Dec 2009 15:21:51 +0100] rev 604
isabelle make tests all examples
Cezary Kaliszyk <kaliszyk@in.tum.de> [Mon, 07 Dec 2009 15:18:44 +0100] rev 603
merge
Cezary Kaliszyk <kaliszyk@in.tum.de> [Mon, 07 Dec 2009 15:18:00 +0100] rev 602
make_inst for lambda_prs where the second quotient is not identity.
Christian Urban <urbanc@in.tum.de> [Mon, 07 Dec 2009 14:37:10 +0100] rev 601
added "end" to each example theory
Cezary Kaliszyk <kaliszyk@in.tum.de> [Mon, 07 Dec 2009 14:35:45 +0100] rev 600
List moved after QuotMain