src/HOL/Library/Array.thy
2008-04-27 haftmann 2008-04-27 corrected ML semantics
2008-04-23 haftmann 2008-04-23 fixed proof
2008-04-18 haftmann 2008-04-18 improved definition of upd
2008-02-28 haftmann 2008-02-28 added code generator setup
2008-02-27 haftmann 2008-02-27 added theories for imperative HOL