src/HOLCF/IOA/meta_theory/Seq.ML
2001-01-09 nipkow 2001-01-09 ` -> $
1999-01-29 paulson 1999-01-29 tidied
1998-11-26 mueller 1998-11-26 tuning to assimiliate it with PhD;
1998-06-22 wenzelm 1998-06-22 isatool fixgoal;
1997-12-24 paulson 1997-12-24 New Auto_tac (by Oheimb), and new syntax (without parens), and expandshort
1997-11-03 wenzelm 1997-11-03 isatool fixclasimp;
1997-10-30 oheimb 1997-10-30 domain package: * minor changes to some names and values (for consistency), e.g. cases -> casedist, dists_eq -> dist_eqs, [take_lemma] -> take_lemmas
1997-10-13 wenzelm 1997-10-13 fixed dots;
1997-06-23 paulson 1997-06-23 Ran expandshort
1997-05-27 mueller 1997-05-27 Last changes for new release 94-8
1997-05-21 mueller 1997-05-21 changes for release 94-8
1997-04-30 mueller 1997-04-30 New meta theory for IOA based on HOLCF.