src/HOL/Library/Code_Index.thy
2007-12-18 haftmann 2007-12-18 switched from PreList to ATP_Linkup
2007-11-29 haftmann 2007-11-29 instance command as rudimentary class target
2007-11-08 haftmann 2007-11-08 duv, mod, int conversion
2007-10-12 haftmann 2007-10-12 added