Report on Prototype C

Summary
D3.1 (responsible: MPII, delivery date: M12): A report on the progress on the prototype integration of Redlog with veriT.