src/HOL/IOA/ABP/Spec.thy
1995-12-01 clasohm 1995-12-01 removed quotes from consts and syntax sections
1995-06-21 clasohm 1995-06-21 removed \...\ inside strings
1995-05-31 mueller 1995-05-31 *** empty log message ***
1995-04-13 nipkow 1995-04-13 ABP: Alternating bit protocol example