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) +8 +10 tip