src/HOL/IOA/meta_theory/Asig.thy
1996-09-24 nipkow 1996-09-24 Moved Option into core HOL which caused a few local changes.
1995-06-21 clasohm 1995-06-21 removed \...\ inside strings
1995-03-24 clasohm 1995-03-24 changed syntax of tuples from <..., ...> to (..., ...)
1995-03-20 clasohm 1995-03-20 converted IOA with curried function application