Hi there,somehow Efficient-Mergesort is missing from http://afp.sourceforge.net/release/afp-current.tar.gz, in an older local copy it is still there.
I did not check whether any other entries are missing. Any ideas? best regards chris _______________________________________________ isabelle-dev mailing list [email protected] https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev
