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: 93d9d6cf7b70fe44a1f27ef0a73a8ab89d753201 (plain)

1
2

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