/[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 2630 by jyh, Sun Apr 4 23:35:20 1999 UTC revision 2743 by jyh, Wed Jun 23 04:50:29 1999 UTC
# Line 36  Line 36 
36  open Refiner.Refiner.RefineError  open Refiner.Refiner.RefineError
37  open Mp_resource  open Mp_resource
38    
39  open Tactic_type  open Tactic_type.Tacticals
40  open Rewrite_type  open Tactic_type.Conversionals
41    
42  (************************************************************************  (************************************************************************
43   * TYPES                                                                *   * TYPES                                                                *

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

  ViewVC Help
Powered by ViewVC 1.1.26