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

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

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

revision 3591 by emre, Sat Apr 27 02:43:27 2002 UTC revision 3592 by emre, Mon Apr 29 23:15:57 2002 UTC
# Line 24  Line 24 
24    
25  set_tex_file "../../doc/latex/theories/mc/theory.tex";;  set_tex_file "../../doc/latex/theories/mc/theory.tex";;
26    
27    print_theory "mp_mc_theory";;
28  print_theory "mp_mc_term_op";;  print_theory "mp_mc_term_op";;
29  print_theory "mp_mc_fir_base";;  print_theory "mp_mc_fir_base";;
30  print_theory "mp_mc_fir_ty";;  print_theory "mp_mc_fir_ty";;
# Line 31  Line 32 
32  print_theory "mp_mc_fir_eval";;  print_theory "mp_mc_fir_eval";;
33  print_theory "mp_mc_deadcode";;  print_theory "mp_mc_deadcode";;
34  print_theory "mp_mc_const_elim";;  print_theory "mp_mc_const_elim";;
 print_theory "mp_mc_theory";;  
35    
36    
37  (*  (*

Legend:
Removed from v.3591  
changed lines
  Added in v.3592

  ViewVC Help
Powered by ViewVC 1.1.26