| 2014-03-20 | kleing | pointer to the other proof direction | file | diff | annotate |
| 2013-09-26 | nipkow | tuned | file | diff | annotate |
| 2013-09-25 | nipkow | tuned | file | diff | annotate |
| 2013-09-01 | kleing | remove redundant (simp del: ..) | file | diff | annotate |
| 2013-08-08 | kleing | avoid re-inventing transitive closure | file | diff | annotate |
| 2013-06-20 | nipkow | tuned theory name | file | diff | annotate | base |