src/Provers/ind.ML
1997-12-19 ago adapted to new sort function;
1996-02-16 ago Elimination of fully-functorial style.
1993-09-16 ago Initial revision