| Thu, 03 Apr 2014 14:02:58 +0100 |
Christian Urban |
added an attempt to change TMs to use FinFuns.
|
changeset |
files
|
| Thu, 03 Apr 2014 12:55:43 +0100 |
Christian Urban |
recursive function theories / UF_rec still need coding of tapes and programs
|
changeset |
files
|
| Thu, 03 Apr 2014 12:47:07 +0100 |
Christian Urban |
some comments
|
changeset |
files
|
| Thu, 27 Mar 2014 15:12:33 +0000 |
Christian Urban |
added some comments
|
changeset |
files
|
| Thu, 27 Mar 2014 13:06:27 +0000 |
Christian Urban |
some minor changes
|
changeset |
files
|
| Thu, 27 Mar 2014 11:50:37 +0000 |
Christian Urban |
moved some lemmas
|
changeset |
files
|
| Tue, 25 Mar 2014 11:20:36 +0000 |
Christian Urban |
added a stub for a paper
|
changeset |
files
|
| Mon, 24 Mar 2014 12:15:55 +0000 |
Christian Urban |
small modifications
|
changeset |
files
|
| Mon, 24 Mar 2014 11:39:39 +0000 |
Christian Urban |
some small modifications
|
changeset |
files
|
| Fri, 21 Mar 2014 15:10:13 +0000 |
Christian Urban |
added files to ROOT
|
changeset |
files
|
| Fri, 21 Mar 2014 15:07:59 +0000 |
Christian Urban |
updated various files to Isabelle-2013-2
|
changeset |
files
|
| Fri, 21 Mar 2014 13:49:20 +0000 |
Christian Urban |
minor changes
|
changeset |
files
|
| Fri, 21 Mar 2014 21:40:51 +0800 |
ibm |
A new file
|
changeset |
files
|
| Wed, 19 Mar 2014 00:00:28 +0000 |
Christian Urban |
some tiny changes (does not affect anything else)
|
changeset |
files
|
| Thu, 13 Mar 2014 20:06:29 +0000 |
Christian Urban |
added original Separation_Algebra theory
|
changeset |
files
|
| Thu, 06 Mar 2014 15:28:20 +0000 |
Christian Urban |
version for Isabelle 2013-2
|
changeset |
files
|
| Thu, 06 Mar 2014 13:28:38 +0000 |
Christian Urban |
initial commit for Isabelle 2013-1
|
changeset |
files
|