LMCS-Paper/Paper.thy
2011-09-14 Cezary Kaliszyk minor
less more (0) -10 -1 tip