History log of /hets/VSE/test/Imports.txt
Revision Date Author Comments Expand
7833c27af7396b551fb24e978205bde30fc2d424 23-Apr-2010 Christian Maeder <Christian.Maeder@dfki.de>

added more info on vse git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@13382 cec4b9c1-7d33-0410-9eda-942365e851bb
b8b18ad613680010e811916a2c4cf99806ec1a4e 23-Apr-2010 Christian Maeder <Christian.Maeder@dfki.de>

proof description with hetsvse git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@13380 cec4b9c1-7d33-0410-9eda-942365e851bb