| Fri, 04 Jan 2019 23:22:53 +0100 | wenzelm | isabelle update -u control_cartouches; | file | diff | annotate |
| Wed, 20 Jul 2011 12:23:20 +0200 | boehmes | generalized lambda-lifting such that it is less specifically tailored for SMT (it does not anymore dependent on any SMT-specific code) | file | diff | annotate |
| Wed, 20 Jul 2011 09:23:12 +0200 | boehmes | moved lambda-lifting on terms into a separate structure (for better re-use in tools other than SMT) | file | diff | annotate |