Mercurial > cpdt > repo

comparison src/StackMachine.v @ 44:b1e137b4aafe

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Small prose change
author Adam Chlipala <adamc@hcoop.net>
date Tue, 16 Sep 2008 16:18:11 -0400
parents 02e8e9ef2746
children 9b0d118abbc9
comparison
equal deleted inserted replaced
43:9bdbc43d510e 44:b1e137b4aafe
389 unfold compile. 389 unfold compile.
390 fold compile. 390 fold compile.
391 unfold expDenote. 391 unfold expDenote.
392 fold expDenote. 392 fold expDenote.
393 393
394 (** Now we arrive at a point where the tactics we have seen so far are insufficient: 394 (** Now we arrive at a point where the tactics we have seen so far are insufficient. No further definition unfoldings get us anywhere, so we will need to try something different.
395 395
396 [[ 396 [[
397 397
398 b : binop 398 b : binop
399 e1 : exp 399 e1 : exp