src/HOL/IOA/ABP/Read_me
1995-04-13 nipkow 1995-04-13 ABP: Alternating bit protocol example