src/HOL/base.ML
2009-01-16 haftmann 2009-01-16 added HOL-Base image