Mercurial > urweb

comparison src/disjoint.sml @ 334:9601c717d2f3

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
queryX
author Adam Chlipala <adamc@hcoop.net>
date Sat, 13 Sep 2008 19:49:53 -0400
parents 950320f33232
children bc5015b89dd2
comparison
equal deleted inserted replaced
333:c655eddc3795 334:9601c717d2f3
312 (c, prove env denv (c1, c2, loc) @ gs) 312 (c, prove env denv (c1, c2, loc) @ gs)
313 end 313 end
314 in 314 in
315 case c of 315 case c of
316 CDisjoint cs => doDisj cs 316 CDisjoint cs => doDisj cs
317 | TDisjoint cs => doDisj cs 317 | TDisjoint (Instantiate, c1, c2, c) => doDisj (c1, c2, c)
318 | _ => (cAll, []) 318 | _ => (cAll, [])
319 end 319 end
320 320
321 end 321 end