comparison src/Generic.v @ 297:b441010125d4

Everything compiles in Coq 8.3pl1
author Adam Chlipala <adam@chlipala.net>
date Fri, 14 Jan 2011 14:39:12 -0500
parents 540a09187193
children 7b38729be069
comparison
equal deleted inserted replaced
296:559ec7328410 297:b441010125d4