src/HOL/Coinduction.thy
2014-11-02 wenzelm 2014-11-02 modernized header uniformly as section;
2014-10-29 wenzelm 2014-10-29 modernized setup; tuned whitespace;
2013-11-21 blanchet 2013-11-21 rationalize imports
2013-11-20 blanchet 2013-11-20 moved 'coinduction' proof method to 'HOL'