Wed, 23 Apr 2008 19:36:18 +0200 | haftmann | fixed proof | file | diff | annotate |
Fri, 18 Apr 2008 09:44:16 +0200 | haftmann | improved definition of upd | file | diff | annotate |
Thu, 28 Feb 2008 16:50:52 +0100 | haftmann | added code generator setup | file | diff | annotate |
Wed, 27 Feb 2008 21:41:08 +0100 | haftmann | added theories for imperative HOL | file | diff | annotate |