src/Provers/ind.ML
Fri, 19 Dec 1997 10:33:24 +0100 wenzelm adapted to new sort function;
Fri, 16 Feb 1996 18:00:47 +0100 paulson Elimination of fully-functorial style.
Thu, 16 Sep 1993 12:20:38 +0200 clasohm Initial revision
less more (0) tip