src/HOL/Prod.thy
1995-03-21 clasohm 1995-03-21 changed syntax of Unity ("()" instead of "<>")
1995-03-03 clasohm 1995-03-03 new version of HOL with curried function application