nipkow [Tue, 15 Feb 1994 07:55:22 +0100] rev 43
added etac FalseE to the simplifier's solver.
nipkow [Sat, 12 Feb 1994 14:46:21 +0100] rev 42
added translations for "case xs of"
nipkow [Fri, 11 Feb 1994 11:09:50 +0100] rev 41
added ::bool in the defn of True.
nipkow [Thu, 03 Feb 1994 09:55:47 +0100] rev 40
Introduction of various new lemmas and of case_tac.
nipkow [Thu, 27 Jan 1994 17:01:10 +0100] rev 39
id -> idt in type of @filter and @Alls
nipkow [Wed, 26 Jan 1994 17:53:27 +0100] rev 38
sum: renamed case to sum_case
hol: added general case-of syntax
nipkow [Mon, 24 Jan 1994 16:03:03 +0100] rev 37
changed header
nipkow [Mon, 24 Jan 1994 16:00:37 +0100] rev 36
Verification of quicksort
nipkow [Mon, 24 Jan 1994 15:59:44 +0100] rev 35
added qsort
nipkow [Mon, 24 Jan 1994 15:59:02 +0100] rev 34
added conj_assoc to HOL_ss
added filter, mem, and some syntax to lists