| 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 |