src/HOL/IMP/C_like.thy
2011-10-19 nipkow 2011-10-19 renamed B to Bc
2011-07-10 bulwahn 2011-07-10 adding a very liberal timeout for values after a test case failed due to the restricted timeout
2011-06-06 kleing 2011-06-06 imported rest of new IMP