• Robbert Krebbers's avatar
    Merge branch 'fossacs2013' · a89a1e98
    Robbert Krebbers authored
    Conflicts:
    	ars.v
    	assertions.v
    	axiomatic.v
    	base.v
    	doc/index.html
    	expressions.v
    	fin_maps.v
    	memory.v
    	smallstep.v
    	state.v
    	statements.v
    	tactics.v
    a89a1e98
fin_maps.v 48.4 KB