src/Pure/ML-Systems/smlnj-ptreql.ML
changeset 16528 25a7459d4d4a
     1.1 --- /dev/null	Thu Jan 01 00:00:00 1970 +0000
     1.2 +++ b/src/Pure/ML-Systems/smlnj-ptreql.ML	Wed Jun 22 11:20:45 2005 +0200
     1.3 @@ -0,0 +1,10 @@
     1.4 +(*  Title:      $Id$
     1.5 +    Author:     Lawrence C Paulson
     1.6 +
     1.7 +Pointer Equality: for Standard ML of New Jersey 110.49 or later.
     1.8 +
     1.9 +Thanks to Matthias Blume for providing InlineT.ptreql!
    1.10 +*)
    1.11 +
    1.12 +CM.autoload "$smlnj/init/init.cmi";
    1.13 +val pointer_eq = InlineT.ptreql;