| Wed, 11 Jul 2007 11:14:51 +0200 | berghofe | Adapted to new inductive definition package. | file | diff | annotate |
| Wed, 29 Nov 2006 15:44:51 +0100 | wenzelm | simplified method setup; | file | diff | annotate |
| Sat, 08 Jul 2006 12:54:36 +0200 | wenzelm | tactic/method simpset: maintain proper context; | file | diff | annotate |
| Wed, 01 Feb 2006 15:22:02 +0100 | paulson | new and updated protocol proofs by Giamp Bella | file | diff | annotate |