locate.out « output « test-suite - coq - The formal proof system

about summary refs log tree commit diff

path: root/test-suite/output/locate.out

blob: 473db2d312e881ce0aa3bbb3ec2454cf1d8618ea (plain)

1
2
3

Notation
"b1 && b2" := if b1 then b2 else false (default interpretation)
"x && y" := andb x y : bool_scope