I don't think it is used. P.
2017-02-01 17:50 GMT+01:00 Paul A. Steckler <st...@stecksoft.com>: > thms _______________________________________________ ProofGeneral-devel mailing list ProofGeneral-devel@inf.ed.ac.uk http://lists.inf.ed.ac.uk/mailman/listinfo/proofgeneral-devel