more symbols;

isabelle update_cartouches -c -t;

eliminated old defs;

modernized header uniformly as section;

rename Pair_fst_snd_eq to prod_eq_iff (keeping old name too)

modernized specifications;

removed obsolete CVS Ids;

Adapted to encoding of sets as predicates

removal of some "ref"s from res_axioms.ML; a side-effect is that the ordering
theorems of Nat.thy are hidden by the Ordering.thy versions

removed obsolete ML files;

converted to Isar theory format;

Main is the proper parent of IOA

corrected Title

fixed dots;

old IOA meta theory (see also new version in HOLCF/IOA/meta_theory);