| Thu, 23 Sep 2010 05:28:40 +0200 | Christian Urban | updated to Isabelle 22 Sept | file | diff | annotate |
| Sat, 18 Sep 2010 05:13:42 +0800 | Christian Urban | updated to Isabelle Sept 13 | file | diff | annotate |
| Sun, 12 Sep 2010 22:46:40 +0800 | Christian Urban | tuned code | file | diff | annotate |
| Thu, 27 May 2010 18:30:26 +0200 | Christian Urban | fixed bug where perm_simp 'forgets' how to prove equivariance for the empty set | file | diff | annotate |
| Thu, 13 May 2010 15:12:05 +0100 | Christian Urban | removed internal functions from the signature (they are not needed anymore) | file | diff | annotate |
| Mon, 26 Apr 2010 13:08:14 +0200 | Christian Urban | rewrote eqvts_raw to be a symtab, that can be looked up | file | diff | annotate |
| Sun, 25 Apr 2010 09:13:16 +0200 | Christian Urban | tuned and cleaned | file | diff | annotate |
| Sun, 18 Apr 2010 17:57:27 +0200 | Christian Urban | tuned; transformation functions now take a context, a thm and return a thm | file | diff | annotate |