4 commits

Author	SHA1	Message	Date
Christian Zimmermann	22b93b0612	prelim fix... (CAUTION)	2018-12-25 17:48:52 +01:00
Christian Zimmermann	1f88bd2c58	fix cathastrophic bug (although it did not affect anything so far)	2018-12-24 18:55:11 +01:00
Christian Zimmermann	ca2e47b986	some utilities + corrections in 'call by lambda' operation	2018-11-29 19:37:32 +01:00
Christian Zimmermann	e5792bcf7b	fix dynamic ifor issue (at least it compiles...)	2018-10-30 19:39:45 +01:00