| Fri, 27 Nov 2009 08:15:23 +0100 | Cezary Kaliszyk | Removing arguments of tactics: absrep, rel_refl, reps_same are computed. | file | diff | annotate |
| Fri, 27 Nov 2009 07:00:14 +0100 | Cezary Kaliszyk | Minor cleaning | file | diff | annotate |
| Thu, 26 Nov 2009 20:32:33 +0100 | Cezary Kaliszyk | Merged | file | diff | annotate |
| Thu, 26 Nov 2009 16:23:24 +0100 | Christian Urban | introduced a new property for Ball and ===> on the left | file | diff | annotate |
| Thu, 26 Nov 2009 12:21:47 +0100 | Cezary Kaliszyk | Manually regularized akind_aty_atrm.induct | file | diff | annotate |
| Thu, 26 Nov 2009 10:52:24 +0100 | Cezary Kaliszyk | Playing with Monos in LFex. | file | diff | annotate |
| Mon, 09 Nov 2009 15:23:33 +0100 | Cezary Kaliszyk | Cleaning and commenting | file | diff | annotate |
| Fri, 06 Nov 2009 19:43:09 +0100 | Christian Urban | permutation lifting works now also | file | diff | annotate |
| Fri, 06 Nov 2009 19:26:08 +0100 | Christian Urban | updated to new Isabelle version and added a new example file | file | diff | annotate |