| Mon, 02 May 2011 22:31:46 +0200 | wenzelm | eliminated old CVS Ids; | file | diff | annotate |
| Wed, 22 Jun 2005 19:44:12 +0200 | nipkow | added find2 | file | diff | annotate |
| Mon, 22 Jan 2001 11:01:05 +0100 | paulson | new examples theory Rules/Tacticals.thy | file | diff | annotate |