[isabelle-dev] Remaining uses of defer_recdef?

Makarius makarius at sketis.net
Wed Jun 3 19:22:34 CEST 2015

Cleaning up some obscure corners of the system, I've come across the old 
defer_recdef command.

Are there any remaining uses of this historical relic?  I don't see any in 
the main Isabelle repository + AFP.


More information about the isabelle-dev mailing list