History log of /hets/utils/nightly/spass_consistency_patterns.txt
Revision Date Author Comments Expand
61ed8286ea9913a9a2a762ae33039f9a1965b8f3 04-Jul-2008 Christian Maeder <Christian.Maeder@dfki.de>

reorganized git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@10263 cec4b9c1-7d33-0410-9eda-942365e851bb