tm2: Changelog

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

Christian Urban <christian dot urban at kcl dot ac dot uk> [Mon, 24 Mar 2014 12:15:55 +0000] rev 9

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

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

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

Christian Urban <christian dot urban at kcl dot ac dot uk> [Fri, 21 Mar 2014 13:49:20 +0000] rev 5

minor changes

ibm@ibm-PC [Fri, 21 Mar 2014 21:40:51 +0800] rev 4

A new file

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)

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

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

tm2