<yukon:~/metaprl/editor/ml 18>./mp
# #use "tutorial.ml";;
# load "fol_ctheory";;
- : unit = ()
# cd "/fol_ctheory/or_choice";;
- : string = "/fol_ctheory/or_choice"
# refine autoT;;
----------------------------------------
# 
0 
....main....
[ext] H  A type
[ext] H  B type
[ext] H  C type
====
[ext] H  A  B  C  A  C

BY autoT
# 1. [ext] H; v: A  B  C  A type
# 2. [ext] H; v: A  B  C; v1: A  C

++++++++++
- : unit = ()
# 
