| Thu, 03 Apr 2014 12:55:43 +0100 | Christian Urban |
recursive function theories / UF_rec still need coding of tapes and programs | file | diff | annotate |
| Thu, 03 Apr 2014 12:47:07 +0100 | Christian Urban |
some comments | file | diff | annotate |
| Thu, 27 Mar 2014 15:12:33 +0000 | Christian Urban |
added some comments | file | diff | annotate |
| Thu, 27 Mar 2014 13:06:27 +0000 | Christian Urban |
some minor changes | file | diff | annotate |
| Thu, 27 Mar 2014 11:50:37 +0000 | Christian Urban |
moved some lemmas | file | diff | annotate |
| Mon, 24 Mar 2014 12:15:55 +0000 | Christian Urban |
small modifications | file | diff | annotate |
| Fri, 21 Mar 2014 13:49:20 +0000 | Christian Urban |
minor changes | file | diff | annotate |
| Thu, 06 Mar 2014 15:28:20 +0000 | Christian Urban |
version for Isabelle 2013-2 | file | diff | annotate |
| Thu, 06 Mar 2014 13:28:38 +0000 | Christian Urban |
initial commit for Isabelle 2013-1 | file | diff | annotate |