Sun, 09 Nov 2014 20:41:53 +0100 | wenzelm | proper proof context for typedef; | changeset | files |
Sun, 09 Nov 2014 18:27:43 +0100 | wenzelm | proper context; | changeset | files |
Sun, 09 Nov 2014 17:04:14 +0100 | wenzelm | proper context for match_tac etc.; | changeset | files |
Sun, 09 Nov 2014 14:08:00 +0100 | wenzelm | proper context for compose_tac, Splitter.split_tac (relevant for unify trace options); | changeset | files |
Sun, 09 Nov 2014 11:05:20 +0100 | nipkow | avoid erule and rotated in IMP | changeset | files |
Sun, 09 Nov 2014 10:03:18 +0100 | haftmann | reverted 1ebf0a1f12a4 after successful re-tuning of simp rules for divisibility | changeset | files |
Sun, 09 Nov 2014 10:03:17 +0100 | haftmann | self-contained simp rules for dvd on numerals | changeset | files |
Sat, 08 Nov 2014 16:53:26 +0100 | haftmann | equivalence rules for structures without zero divisors | changeset | files |