src/HOL/Hoare/Arith2.ML
Wed, 01 May 1996 13:55:20 +0200 paulson Deleted diff_mult_distrib_r as diff_mult_distrib is not proved in Arith.
Mon, 05 Feb 1996 21:29:06 +0100 clasohm expanded tabs; incorporated Konrad's changes
Tue, 30 Jan 1996 15:24:36 +0100 clasohm expanded tabs
Fri, 17 Nov 1995 09:04:10 +0100 nipkow New directory.
less more (0) tip