<yukon:~/metaprl/editor/ml 25>./mp
# #use "tutorial.ml";;
# load "fol_theory";;
- : unit = ()
# cd "fol_theory/pierce";;
- : string = "/fol_theory/pierce"
# ls ();;
View item /fol_theory/pierce
----------------------------------------
# 
0 
....main....
[ext] H  P. Q. ((P  Q)  P)  P

BY idT
# 1. [ext] H  P. Q. ((P  Q)  P)  P

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