Integ/Integ.thy
Wed, 21 Jun 1995 15:12:40 +0200 clasohm removed \...\ inside strings
Fri, 31 Mar 1995 15:09:21 +0200 wenzelm replaced 'arities' by 'instance';
Mon, 27 Feb 1995 16:46:38 +0100 lcp Installation of Integ (ported from ZF by Mattolini)
less more (0) tip