| Thu, 16 Sep 2010 16:51:34 +0200 | haftmann | adjusted setup | file | diff | annotate |
| Wed, 15 Sep 2010 16:56:31 +0200 | haftmann | load code_runtime immediately again | file | diff | annotate |
| Wed, 15 Sep 2010 16:47:31 +0200 | haftmann | introduced "holds" as synthetic datatype constructor for "prop"; moved Pure code generator setup to Code_Generator.thy | file | diff | annotate |