comparison src/StackMachine.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 1b6c81e51799
children 123f466faedc
comparison
equal deleted inserted replaced
296:559ec7328410 297:b441010125d4