src/HOL/Lambda/ListApplication.ML
1999-03-03 paulson 1999-03-03 expandshort
1999-01-14 nipkow 1999-01-14 More arith refinements.
1999-01-04 nipkow 1999-01-04 Version 1.0 of linear nat arithmetic.
1998-08-14 paulson 1998-08-14 expandshort
1998-08-06 nipkow 1998-08-06 First steps towards termination of simply typed terms.