History log of /hets/Modal/doc/Logic_Modal_Test.tex
Revision Date Author Comments Expand
a18975c6cbd62f7f318edd0b346b50f4cbc01242 22-Sep-2004 Heng Jiang <jiang@tzi.de>

new test git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@3183 cec4b9c1-7d33-0410-9eda-942365e851bb
bc1433ded8e61efbb78d2a33ff7a61e5928c4449 21-Sep-2004 Heng Jiang <jiang@tzi.de>

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