[isabelle-dev] Missing AFP Entry

Christian STERNAGEL c-sterna at jaist.ac.jp
Thu Jan 5 13:07:20 CET 2012


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


More information about the isabelle-dev mailing list