| 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 |
| Wed, 10 Jan 2001 11:12:17 +0100 | paulson | loads the new theory | file | diff | annotate |
| Thu, 26 Oct 2000 11:27:48 +0200 | paulson | added the $Id:$ line | file | diff | annotate |
| Mon, 23 Oct 2000 18:55:00 +0200 | paulson | part of set-up | file | diff | annotate |