Quot/Examples/Terms.thy
Wed, 27 Jan 2010 07:45:01 +0100 Christian Urban added another example with indirect recursion over lists
less more (0) -1 tip