1999-01-29 | paulson | tidied | file | diff | annotate |
1998-06-22 | wenzelm | isatool fixgoal; | file | diff | annotate |
1997-11-03 | wenzelm | isatool fixclasimp; | file | diff | annotate |
1997-09-03 | mueller | some minor changes; | file | diff | annotate |
1997-06-12 | mueller | added deadlock freedom, polished definitions and proofs | file | diff | annotate |
1997-05-21 | mueller | changes for release 94-8 | file | diff | annotate |
1997-04-30 | mueller | New meta theory for IOA based on HOLCF. | file | diff | annotate |