| 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 |
| Sat, 13 Jul 2013 13:03:21 +0200 | traytel | got rid of in_bd BNF property (derivable from set_bd+map_cong+map_comp+map_id) | changeset | files |
| Thu, 11 Jul 2013 11:16:23 +0200 | traytel | some new lemmas towards getting rid of in_bd BNF property; tuned | changeset | files |
| Sat, 13 Jul 2013 12:38:40 +0200 | smolkas | tuned | changeset | files |