/Example.sml/1.1/Fri May  9 16:39:09 2003//Tdemo-y4
/mkTheory.sig/1.1/Fri May  9 16:39:10 2003//Tdemo-y4
/mkTheory.sml/1.1/Fri May  9 16:39:10 2003//Tdemo-y4
/mkTheory.ui/1.1/Fri May  9 16:39:10 2003//Tdemo-y4
/mkTheory.uo/1.1/Fri May  9 16:39:10 2003//Tdemo-y4
D
