exporting mode analysis for use in prolog generation

renaming

improving naming of predicates in code_prolog; changing order of flattened premises once again

changing order of premises generated when flattening functions in premises; adapting example for second attack for hotel key card system

added further hotel key card attack in example file

avoiding warning for a duplicate rewrite rule in preprocessing of the predicate compiler

using Cache_IO interface for a safe parallel prolog execution

storing options for prolog code generation in the theory

adapting example files to latest changes

adding Lambda example theory; tuned

added quite adhoc logic program transformations limited_predicates and replacements of predicates

distinguish between "by" and "apply"

merged

fiddling with "try"

updated

"try" -- a new diagnosis tool that tries to apply several methods in parallel

add one option to Mirabelle

update docs

add a penalty for being higher-order

improve weighting of irrelevant constants, based on Mirabelle experiments

take into consideration whether a fact is an "intro"/"elim"/"simp" rule as an additional factor influencing the relevance filter

repaired casual accident; tuned names

corrected misbehaved additional qualification of generated names

merged

avoid strange special treatment of empty module names

allow explicit parameter for code width

evaluate takes ml context and ml expression parameter

modernized; avoid pointless tinkering with structure names

distinguish code production and code presentation

dropped single_module parameter