| Tue, 31 Aug 2010 10:51:03 +0200 | bulwahn | renaming | changeset | files |
| Tue, 31 Aug 2010 10:48:27 +0200 | bulwahn | improving naming of predicates in code_prolog; changing order of flattened premises once again | changeset | files |
| Tue, 31 Aug 2010 08:00:56 +0200 | bulwahn | changing order of premises generated when flattening functions in premises; adapting example for second attack for hotel key card system | changeset | files |