/[mojave]/metaprl/doc/latex/theories/base/print.ml
ViewVC logotype

Diff of /metaprl/doc/latex/theories/base/print.ml

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

revision 3057 by jyh, Sun Sep 10 18:26:37 2000 UTC revision 3584 by nogin, Thu Apr 25 15:28:40 2002 UTC
# Line 34  Line 34 
34  print_theory "base_auto_tactic";;  print_theory "base_auto_tactic";;
35  print_theory "base_dtactic";;  print_theory "base_dtactic";;
36  print_theory "base_rewrite";;  print_theory "base_rewrite";;
37    print_theory "comment";;
38    
39  (*  (*
40   * -*-   * -*-

Legend:
Removed from v.3057  
changed lines
  Added in v.3584

  ViewVC Help
Powered by ViewVC 1.1.26