src/HOL/ex/Acc.ML
Tue, 30 Jan 1996 15:24:36 +0100 clasohm expanded tabs
Thu, 13 Apr 1995 15:08:39 +0200 lcp expandshort
Fri, 24 Mar 1995 12:30:35 +0100 clasohm changed syntax of tuples from <..., ...> to (..., ...)
Wed, 22 Mar 1995 12:42:34 +0100 clasohm converted ex with curried function application
less more (0) tip