3 commits

Author	SHA1	Message	Date
Andreas Rumpf	e1a921ce4f	lookups compiles again	2018-05-10 15:05:05 +02:00
Andreas Rumpf	a6e53ec47b	semfold compiles again	2018-05-10 14:38:12 +02:00
Andreas Rumpf	61e57cfa13	big refactoring: parser compiles again	2018-05-10 10:49:51 +02:00