src/HOLCF/ex/Dagstuhl.ML
changeset 895 7a1e07fbffea
parent 892 d0dc8d057929
child 896 56b9c2626e81
equal deleted inserted replaced
894:6fcddbebabac 895:7a1e07fbffea
     1 (*
     1 (*
     2     ID: $ $
     2     ID:         $Id$
     3 *)
     3 *)
     4 
     4 
     5 
     5 
     6 open Dagstuhl;
     6 open Dagstuhl;
     7 
     7