| Thu, 12 Sep 2013 10:34:11 +0200 | Christian Urban |
updated to new Isabelle | file | diff | annotate |
| Wed, 22 Feb 2012 13:25:49 +0000 | urbanc | partially updated conference paper; slightly tuned journal paper | file | diff | annotate |
| Mon, 25 Jul 2011 13:33:38 +0000 | urbanc | made the theories compatible with the existing developments in the AFP; old theories are in the directory Attic | file | diff | annotate |
| Thu, 02 Jun 2011 16:44:35 +0000 | urbanc | updated theories and itp-paper | file | diff | annotate |
| Wed, 18 May 2011 19:54:43 +0000 | urbanc | added directory for journal version; took uptodate version of the theory files | file | diff | annotate |
| Mon, 09 May 2011 07:25:37 +0000 | urbanc | added comments from Chunhan | file | diff | annotate |
| Wed, 04 May 2011 07:05:59 +0000 | urbanc | edits; sqeezed to 16 pages | file | diff | annotate |