| 2005-09-17 | wenzelm | converted to Isar theory format; | file | diff | annotate |
| 2005-03-03 | skalberg | Move towards standard functions. | file | diff | annotate |
| 1997-10-10 | wenzelm | fixed dots; | file | diff | annotate |
| 1997-07-22 | paulson | Removal of the tactical STATE | file | diff | annotate |
| 1996-01-29 | clasohm | expanded tabs | file | diff | annotate |
| 1994-11-30 | clasohm | added qed and qed_goal[w] | file | diff | annotate |
| 1994-10-19 | lcp | CCL/Gfp/coinduct2, coinduct3: modified proofs to suppress deep unification | file | diff | annotate |
| 1994-03-22 | clasohm | changed "." to "$" to eliminate ambiguity | file | diff | annotate |
| 1993-09-16 | clasohm | Initial revision | file | diff | annotate |