History log of /hets/GMP/papers/conditional/header.tex
Revision Date Author Comments Expand
7a11349870126900dca0b7d01ae91e34eab98d76 02-Sep-2009 Lutz Schröder <lutz.schroeder@cs.fau.de>

some final corrections git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@12393 cec4b9c1-7d33-0410-9eda-942365e851bb
8ba24c50d8b545f082e94f873c7767f47f5c73fc 01-Sep-2009 Lutz Schröder <lutz.schroeder@cs.fau.de>

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