Fri, 31 May 2013 07:26:31 +0200 | nipkow | VCG is standard name | changeset | files |
Fri, 31 May 2013 07:25:55 +0200 | nipkow | used nice syntax, removed lemma because it makes a nice exercise. | changeset | files |
Fri, 31 May 2013 07:30:23 +0200 | bulwahn | NEWS about Spec_Check | changeset | files |