From 8daad3cb157b360ea310e2d7d7c1a4525468ce71 Mon Sep 17 00:00:00 2001
From: Andreas Naumann <andreas.naumann@tu-dresden.de>
Date: Sat, 12 Jun 2010 05:02:38 +0000
Subject: [PATCH] first order term parser restricted to vector terms

-- 
GitLab