| 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 |