Mercurial > cpdt > repo

comparison src/MoreSpecif.v @ 144:5ea9a0bff8f7

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Code for my_tauto
author Adam Chlipala <adamc@hcoop.net>
date Tue, 28 Oct 2008 14:28:22 -0400
parents 6a00d49e85fb
children 54e8ecb5ec88
comparison
equal deleted inserted replaced
143:f3e018e167f8 144:5ea9a0bff8f7
90 90
91 Open Local Scope partial_scope. 91 Open Local Scope partial_scope.
92 Delimit Scope partial_scope with partial. 92 Delimit Scope partial_scope with partial.
93 93
94 Notation "'Reduce' v" := (if v then Yes else No) : partial_scope. 94 Notation "'Reduce' v" := (if v then Yes else No) : partial_scope.
95 Notation "x || y" := (if x then Yes else Reduce y) : partial_scope.
96 Notation "x && y" := (if x then Reduce y else No) : partial_scope.