History log of /hets/Framework/specs/logics/comorphism/prop2folmod.elf
Revision Date Author Comments Expand
dff76c4031125871446e4154f08c2a50f16f0809 25-Aug-2011 Iulia Ignatov <i.ignatov@jacobs-university.de>

LF specs for newcomorphism test git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@16022 cec4b9c1-7d33-0410-9eda-942365e851bb