Tests/Rec_def2.thy
2013-03-27 Christian Urban adapted paper
2013-03-08 Christian Urban updated
2013-03-08 Christian Urban updated
2013-03-07 Christian Urban added definition of termination for rec_exec
less more (0) tip