I am "suddenly" getting the diagnose Reference to unproved lemma but it dosn't tell me which lemma or where. Could you please help me find the error. I have uploaded the page to http://www.diku.dk/~grue/logiweb/20050502/home/tofu/Reference-to-unproved-lemma/fixed/ -Kasper Frederiksen