src/HOL/Coinduction.thy
2013-11-21 blanchet 2013-11-21 rationalize imports
2013-11-20 blanchet 2013-11-20 moved 'coinduction' proof method to 'HOL'