src/HOLCF/ROOT.ML

added read_token -- with optional YXML encoding of position;
tuned parse operations: print position instead of echoing input (now encoded!);
do not export obsolete read operation;

(*  Title:      HOLCF/ROOT.ML
    ID:         $Id$
    Author:     Franz Regensburger

HOLCF -- a semantic extension of HOL by the LCF logic.
*)

use_thy "HOLCF";