src/HOL/Library/Ref.thy
2008-04-27 haftmann 2008-04-27 corrected ML semantics
2008-02-28 haftmann 2008-02-28 added code generator setup
2008-02-27 haftmann 2008-02-27 added theories for imperative HOL