thys/Re1.thy
2015-12-17 Christian Urban updated
2015-06-10 Christian Urban added frisch / cardelli paper
2015-06-08 Christian Urban updated the Isabelle theories with the totality proof
less more (0) -10 -3 tip