| 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 |
| Tue, 31 Aug 2010 08:00:50 +0200 | bulwahn | added quite adhoc logic program transformations limited_predicates and replacements of predicates | file | diff | annotate |
| Sat, 28 Aug 2010 16:14:32 +0200 | haftmann | formerly unnamed infix equality now named HOL.eq | file | diff | annotate |
| Fri, 27 Aug 2010 12:57:55 +0200 | wenzelm | merged, resolving some minor conflicts in src/HOL/Tools/Predicate_Compile/code_prolog.ML; | file | diff | annotate |
| Fri, 27 Aug 2010 09:43:52 +0200 | bulwahn | merged | file | diff | annotate |