| Wed, 12 Feb 2014 08:37:06 +0100 | blanchet | adapted to 'xxx_{case,rec}' renaming, to new theorem names, and to new variable names in theorems | file | diff | annotate |
| Thu, 01 Mar 2012 14:48:28 +0100 | wenzelm | tuned proofs; | file | diff | annotate |
| Sun, 15 Jan 2012 18:55:27 +0100 | wenzelm | tuned proofs; | file | diff | annotate |
| Mon, 01 Mar 2010 13:40:23 +0100 | haftmann | replaced a couple of constsdefs by definitions (also some old primrecs by modern ones) | file | diff | annotate |
| Sat, 17 Oct 2009 14:43:18 +0200 | wenzelm | eliminated hard tabulators, guessing at each author's individual tab-width; | file | diff | annotate |
| Tue, 10 Jun 2008 16:43:14 +0200 | wenzelm | case_split_tac (works without context); | file | diff | annotate |
| Fri, 07 Oct 2005 20:41:10 +0200 | nipkow | changes due to new neq_simproc in simpdata.ML | file | diff | annotate |