2014-03-27 | Christian Urban |
added some comments | file | diff | annotate |
2014-03-27 | Christian Urban |
some minor changes | file | diff | annotate |
2014-03-27 | Christian Urban |
moved some lemmas | file | diff | annotate |
2014-03-24 | Christian Urban |
some small modifications | file | diff | annotate |
2014-03-21 | Christian Urban |
minor changes | file | diff | annotate |
2014-03-19 | Christian Urban |
some tiny changes (does not affect anything else) | file | diff | annotate |
2014-03-13 | Christian Urban |
added original Separation_Algebra theory | file | diff | annotate |
2014-03-06 | Christian Urban |
initial commit for Isabelle 2013-1 | file | diff | annotate |