src/HOL/IMP/Com.thy
1995-11-29 clasohm 1995-11-29 removed quotes from consts and syntax sections
1995-06-21 clasohm 1995-06-21 removed \...\ inside strings
1995-03-28 clasohm 1995-03-28 changed syntax of datatype declarations (curried types for constructor parameters)
1995-03-24 clasohm 1995-03-24 changed syntax of tuples from <..., ...> to (..., ...)
1995-03-20 clasohm 1995-03-20 changed syntax of "if"
1995-03-03 clasohm 1995-03-03 new version of HOL/IMP with curried function application