| 2014-03-27 | Christian Urban |
some minor changes | changeset | files |
| 2014-03-27 | Christian Urban |
moved some lemmas | changeset | files |
| 2014-03-25 | Christian Urban |
added a stub for a paper | changeset | files |
| 2014-03-24 | Christian Urban |
small modifications | changeset | files |
| 2014-03-24 | Christian Urban |
some small modifications | changeset | files |
| 2014-03-21 | Christian Urban |
added files to ROOT | changeset | files |
| 2014-03-21 | Christian Urban |
updated various files to Isabelle-2013-2 | changeset | files |
| 2014-03-21 | Christian Urban |
minor changes | changeset | files |
| 2014-03-21 | ibm | A new file | changeset | files |
| 2014-03-19 | Christian Urban |
some tiny changes (does not affect anything else) | changeset | files |
| 2014-03-13 | Christian Urban |
added original Separation_Algebra theory | changeset | files |
| 2014-03-06 | Christian Urban |
version for Isabelle 2013-2 | changeset | files |
| 2014-03-06 | Christian Urban |
initial commit for Isabelle 2013-1 | changeset | files |
| No more entries | |||