thys2/Recs.thy
2019-01-10 Christian Urban updated to Isabelle 2017
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
2013-05-24 Christian Urban started with the definitions of the recursive functions for the UF
2013-05-24 Christian Urban added definitions and proofs for right-std and left-std tapes
2013-05-22 Christian Urban moved new theries into a separate directory
less more (0) tip