thys2/Recs.thy
2019-01-10 Christian Urban updated to Isabelle 2016-1
2019-01-10 Christian Urban upodated to Isabelle 2016
2013-07-27 Christian Urban updated
2013-06-26 Christian Urban implemented new UF in scala; made some small adjustments to the definitions in the theory
2013-05-25 Christian Urban polished Recs theory
2013-05-25 Christian Urban finished recusive version of the UF
2013-05-25 Christian Urban more rec-funs definitions
less more (0) -7 tip