Mercurial > urweb

comparison src/disjoint.sig @ 478:6ee1c761818f

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Some small changes while failing to write [restrict]
author Adam Chlipala <adamc@hcoop.net>
date Sat, 08 Nov 2008 13:15:00 -0500
parents 94ef20a31550
children 12b73f3c108e
comparison
equal deleted inserted replaced
477:667c0e54632a 478:6ee1c761818f
38 38
39 val prove : ElabEnv.env -> env -> Elab.con * Elab.con * ErrorMsg.span -> goal list 39 val prove : ElabEnv.env -> env -> Elab.con * Elab.con * ErrorMsg.span -> goal list
40 40
41 val hnormCon : ElabEnv.env * env -> Elab.con -> Elab.con * goal list 41 val hnormCon : ElabEnv.env * env -> Elab.con -> Elab.con * goal list
42 42
43 val p_env : env -> unit
44
43 end 45 end