src/HOL/IOA/meta_theory/Asig.ML
1996-01-30 clasohm 1996-01-30 expanded tabs
1995-10-04 clasohm 1995-10-04 added local simpsets
1995-04-13 nipkow 1995-04-13 Olafs new version.
1995-03-20 clasohm 1995-03-20 converted IOA with curried function application