/[mojave]/metaprl/theories/tactic/mptop.ml
ViewVC logotype

Diff of /metaprl/theories/tactic/mptop.ml

Parent Directory Parent Directory | Revision Log Revision Log | View Patch Patch

revision 2743 by jyh, Wed Jun 23 04:50:29 1999 UTC revision 2772 by nogin, Sun Jul 4 00:42:06 1999 UTC
# Line 246  Line 246 
246     let rec collect names expr =     let rec collect names expr =
247        match expr with        match expr with
248           (<:expr< $uid: name$ . $e2$ >>) ->           (<:expr< $uid: name$ . $e2$ >>) ->
249             collect (name :: names) e2              collect (name :: names) e2
250         | (<:expr< $lid: v$ >>) ->         | (<:expr< $lid: v$ >>) ->
251              lookup names v              lookup names v
252         | _ ->         | _ ->

Legend:
Removed from v.2743  
changed lines
  Added in v.2772

  ViewVC Help
Powered by ViewVC 1.1.26