The Coq mailing list

[Thomas Th�m <thomas.thuem AT st.ovgu.de>]

Hi all,

as I am new to the mailing list: My name is Thomas and I'm working on my
master thesis in Magdeburg, Germany.

I was wondering if someone has a running version of the Featherweight Java
formalization for the current Coq environment. The author Stephanie Weirich
pointed me to this mailing list in case that anyone has an adapted version.

There is a problem with the Allmaps package that does not exist anymore.
Otherwise, to adapt the code, I need to find the documentation of the
standard library of Coq 7.3.1. Where do I find it?

Thanks,
Thomas

-----

http://wwwiti.cs.uni-magdeburg.de/~tthuem/