src/HOL/BNF/Coinduction.thy
2013-10-02 traytel 2013-10-02 new coinduction method