thys2/UF_Rec.thy
2013-09-03 Christian Urban soem changes
2013-07-17 Christian Urban added slides
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 more cleaning
2013-05-25 Christian Urban polished Recs theory
2013-05-25 Christian Urban finished recusive version of the UF
2013-05-25 Christian Urban tuned
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 completed the UF-simulation lemmas
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