thys/Abacus_Hoare.thy
2013-03-27 Christian Urban much simplified version of Recursive.thy
less more (0) tip