| 2009-12-08 | Cezary Kaliszyk | Added a 'rep_abs' in inj_repabs_trm of babs; and proved two lam examples. | file | diff | annotate |
| 2009-12-08 | Christian Urban | tuned | file | diff | annotate |
| 2009-12-08 | Christian Urban | the lift_tac produces a warning message if one of the three automatic proofs fails | file | diff | annotate |
| 2009-12-08 | Christian Urban | added a thm list for ids | file | diff | annotate |
| 2009-12-08 | Christian Urban | removed a fixme: map_info is now checked | file | diff | annotate |
| 2009-12-07 | Christian Urban | tuning of the code | file | diff | annotate |
| 2009-12-07 | Christian Urban | merged | file | diff | annotate |