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

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

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

revision 3590 by nogin, Fri Jul 13 21:34:19 2001 UTC revision 3591 by nogin, Sun Apr 28 19:51:58 2002 UTC
# Line 62  Line 62 
62  print_theory "itt_record_label";;  print_theory "itt_record_label";;
63  print_theory "itt_record";;  print_theory "itt_record";;
64  print_theory "itt_record_exm";;  print_theory "itt_record_exm";;
65    print_theory "itt_collections";;
66  print_theory "itt_theory";;  print_theory "itt_theory";;
67    
68  (*  (*

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

  ViewVC Help
Powered by ViewVC 1.1.26