| Tue, 31 Aug 2010 14:30:39 +0200 | bulwahn | adding manual reordering of premises to prolog generation | file | diff | annotate |
| Tue, 31 Aug 2010 12:15:50 +0200 | bulwahn | towards support of limited predicates for mutually recursive predicates | file | diff | annotate |
| Tue, 31 Aug 2010 11:49:15 +0200 | bulwahn | improving clash-free naming of variables and preds in code_prolog | file | diff | annotate |
| Tue, 31 Aug 2010 10:51:03 +0200 | bulwahn | renaming | file | diff | annotate |
| Tue, 31 Aug 2010 08:00:53 +0200 | bulwahn | using Cache_IO interface for a safe parallel prolog execution | file | diff | annotate |
| Tue, 31 Aug 2010 08:00:53 +0200 | bulwahn | storing options for prolog code generation in the theory | file | diff | annotate |
| Tue, 31 Aug 2010 08:00:51 +0200 | bulwahn | adding Lambda example theory; tuned | file | diff | annotate |