K 25
svn:wc:ra_dav:version-url
V 81
/r/sfogarty/!svn/ver/274/research/subsumptive/NuSMV-2.5.0/nusmv/src/trans/generic
END
.dirstamp
K 25
svn:wc:ra_dav:version-url
V 91
/r/sfogarty/!svn/ver/274/research/subsumptive/NuSMV-2.5.0/nusmv/src/trans/generic/.dirstamp
END
GenericTrans_private.h
K 25
svn:wc:ra_dav:version-url
V 104
/r/sfogarty/!svn/ver/274/research/subsumptive/NuSMV-2.5.0/nusmv/src/trans/generic/GenericTrans_private.h
END
GenericTrans.c
K 25
svn:wc:ra_dav:version-url
V 96
/r/sfogarty/!svn/ver/274/research/subsumptive/NuSMV-2.5.0/nusmv/src/trans/generic/GenericTrans.c
END
GenericTrans.h
K 25
svn:wc:ra_dav:version-url
V 96
/r/sfogarty/!svn/ver/274/research/subsumptive/NuSMV-2.5.0/nusmv/src/trans/generic/GenericTrans.h
END
