| Fri, 12 Jul 2013 23:45:05 +0200 | wenzelm | system options for Isabelle/HOL proof tools; | changeset | files |
| Fri, 12 Jul 2013 22:49:20 +0200 | wenzelm | removed unused Predicate_Compile component setup; | changeset | files |
| Sat, 13 Jul 2013 17:53:58 +0200 | haftmann | attribute "code" declares concrete and abstract code equations uniformly; added explicit "code equation" instead | changeset | files |
| Sat, 13 Jul 2013 17:53:57 +0200 | haftmann | tuned variable names | changeset | files |