2014-09-13 deleted *~ files default tip
Christian Urban <christian dot urban at kcl dot ac dot uk> [Sat, 13 Sep 2014 04:39:07 +0100] rev 26
deleted *~ files
2014-09-13 thys2 added
Xingyuan Zhang <xingyuanzhang@126.com> [Sat, 13 Sep 2014 10:07:14 +0800] rev 25
thys2 added
2014-09-11 new change
ibm-PC\ibm <xingyuanzhang@126.com> [Fri, 12 Sep 2014 00:47:15 +0800] rev 24
new change
2014-09-11 good
ibm-PC\ibm <xingyuanzhang@126.com> [Fri, 12 Sep 2014 00:41:17 +0800] rev 23
good
2014-05-30 merged
Christian Urban <christian dot urban at kcl dot ac dot uk> [Fri, 30 May 2014 12:05:57 +0100] rev 22
merged
2014-05-20 test if can write
wuc [Tue, 20 May 2014 20:21:29 +0800] rev 21
test if can write
2014-05-30 soem more work
Christian Urban <christian dot urban at kcl dot ac dot uk> [Fri, 30 May 2014 12:04:49 +0100] rev 20
soem more work
2014-04-29 added FMap theory and adapted tm-theory
Christian Urban <christian dot urban at kcl dot ac dot uk> [Tue, 29 Apr 2014 15:26:48 +0100] rev 19
added FMap theory and adapted tm-theory
2014-04-04 deleted AList theory, which is not necessary
Christian Urban <christian dot urban at kcl dot ac dot uk> [Fri, 04 Apr 2014 13:15:07 +0100] rev 18
deleted AList theory, which is not necessary
2014-04-03 added a version using finfuns
Christian Urban <christian dot urban at kcl dot ac dot uk> [Thu, 03 Apr 2014 15:28:01 +0100] rev 17
added a version using finfuns
2014-04-03 added an attempt to change TMs to use FinFuns.
Christian Urban <christian dot urban at kcl dot ac dot uk> [Thu, 03 Apr 2014 14:02:58 +0100] rev 16
added an attempt to change TMs to use FinFuns.
2014-04-03 recursive function theories / UF_rec still need coding of tapes and programs
Christian Urban <christian dot urban at kcl dot ac dot uk> [Thu, 03 Apr 2014 12:55:43 +0100] rev 15
recursive function theories / UF_rec still need coding of tapes and programs
2014-04-03 some comments
Christian Urban <christian dot urban at kcl dot ac dot uk> [Thu, 03 Apr 2014 12:47:07 +0100] rev 14
some comments
2014-03-27 added some comments
Christian Urban <christian dot urban at kcl dot ac dot uk> [Thu, 27 Mar 2014 15:12:33 +0000] rev 13
added some comments
2014-03-27 some minor changes
Christian Urban <christian dot urban at kcl dot ac dot uk> [Thu, 27 Mar 2014 13:06:27 +0000] rev 12
some minor changes
2014-03-27 moved some lemmas
Christian Urban <christian dot urban at kcl dot ac dot uk> [Thu, 27 Mar 2014 11:50:37 +0000] rev 11
moved some lemmas
2014-03-25 added a stub for a paper
Christian Urban <christian dot urban at kcl dot ac dot uk> [Tue, 25 Mar 2014 11:20:36 +0000] rev 10
added a stub for a paper
2014-03-24 small modifications
Christian Urban <christian dot urban at kcl dot ac dot uk> [Mon, 24 Mar 2014 12:15:55 +0000] rev 9
small modifications
2014-03-24 some small modifications
Christian Urban <christian dot urban at kcl dot ac dot uk> [Mon, 24 Mar 2014 11:39:39 +0000] rev 8
some small modifications
2014-03-21 added files to ROOT
Christian Urban <christian dot urban at kcl dot ac dot uk> [Fri, 21 Mar 2014 15:10:13 +0000] rev 7
added files to ROOT
2014-03-21 updated various files to Isabelle-2013-2
Christian Urban <christian dot urban at kcl dot ac dot uk> [Fri, 21 Mar 2014 15:07:59 +0000] rev 6
updated various files to Isabelle-2013-2
2014-03-21 minor changes
Christian Urban <christian dot urban at kcl dot ac dot uk> [Fri, 21 Mar 2014 13:49:20 +0000] rev 5
minor changes
2014-03-21 A new file
ibm@ibm-PC [Fri, 21 Mar 2014 21:40:51 +0800] rev 4
A new file
2014-03-19 some tiny changes (does not affect anything else)
Christian Urban <christian dot urban at kcl dot ac dot uk> [Wed, 19 Mar 2014 00:00:28 +0000] rev 3
some tiny changes (does not affect anything else)
2014-03-13 added original Separation_Algebra theory
Christian Urban <christian dot urban at kcl dot ac dot uk> [Thu, 13 Mar 2014 20:06:29 +0000] rev 2
added original Separation_Algebra theory
2014-03-06 version for Isabelle 2013-2
Christian Urban <christian dot urban at kcl dot ac dot uk> [Thu, 06 Mar 2014 15:28:20 +0000] rev 1
version for Isabelle 2013-2
2014-03-06 initial commit for Isabelle 2013-1
Christian Urban <christian dot urban at kcl dot ac dot uk> [Thu, 06 Mar 2014 13:28:38 +0000] rev 0
initial commit for Isabelle 2013-1
(0) tip