Index of /xml/Montevideo/RailroadCrossing/railroad_crossing

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[DIR]TemporalOperators_CTL/2005-07-05 08:13 -  
[DIR]TemporalOperators_Ind/2005-07-05 08:13 -  
[DIR]TemporalOperators_TCTL/2005-07-05 08:13 -  
[ ]SC.ind.types.xml.gz2004-04-08 18:12 200  
[ ]ST.ind.types.xml.gz2004-04-08 18:12 201  
[ ]SG.ind.types.xml.gz2004-04-08 18:12 202  
[ ]TrC.ind.types.xml.gz2004-04-08 18:12 202  
[ ]TrG.ind.types.xml.gz2004-04-08 18:12 203  
[ ]TrT.ind.types.xml.gz2004-04-08 18:12 203  
[ ]kc1.con.types.xml.gz2004-04-08 18:12 203  
[ ]kg1.con.types.xml.gz2004-04-08 18:12 203  
[ ]kt1.con.types.xml.gz2004-04-08 18:12 203  
[ ]Inv5.con.types.xml.gz2004-04-08 18:12 204  
[ ]InvC.ind.types.xml.gz2004-04-08 18:12 204  
[ ]InvT.ind.types.xml.gz2004-04-08 18:12 204  
[ ]StGlobal.con.xml.gz2004-04-08 18:12 204  
[ ]kc2.con.types.xml.gz2004-04-08 18:12 204  
[ ]kg2.con.types.xml.gz2004-04-08 18:12 204  
[ ]kg3.con.types.xml.gz2004-04-08 18:12 204  
[ ]kt2.con.types.xml.gz2004-04-08 18:12 204  
[ ]Inv1.con.types.xml.gz2004-04-08 18:12 205  
[ ]Inv6.con.types.xml.gz2004-04-08 18:12 205  
[ ]Inv7.con.types.xml.gz2004-04-08 18:12 205  
[ ]Inv8.con.types.xml.gz2004-04-08 18:12 205  
[ ]Inv9.con.types.xml.gz2004-04-08 18:12 205  
[ ]InvG.ind.types.xml.gz2004-04-08 18:12 205  
[ ]S_Ck.con.types.xml.gz2004-04-08 18:12 205  
[ ]Inv2.con.types.xml.gz2004-04-08 18:12 206  
[ ]Inv3.con.types.xml.gz2004-04-08 18:12 206  
[ ]Inv4.con.types.xml.gz2004-04-08 18:12 206  
[ ]Inv10.con.types.xml.gz2004-04-08 18:12 206  
[ ]Inv11.con.types.xml.gz2004-04-08 18:12 206  
[ ]SiniC.con.types.xml.gz2004-04-08 18:12 206  
[ ]SiniG.con.types.xml.gz2004-04-08 18:12 206  
[ ]SiniT.con.types.xml.gz2004-04-08 18:12 206  
[ ]Until.ind.types.xml.gz2004-04-08 18:12 206  
[ ]Exists.ind.types.xml.gz2004-04-08 18:12 207  
[ ]Inv12.con.types.xml.gz2004-04-08 18:12 207  
[ ]Inv13.con.types.xml.gz2004-04-08 18:12 207  
[ ]Inv14.con.types.xml.gz2004-04-08 18:12 207  
[ ]Label.ind.types.xml.gz2004-04-08 18:12 207  
[ ]RState.ind.types.xml.gz2004-04-08 18:12 207  
[ ]SC_rec.con.types.xml.gz2004-04-08 18:12 208  
[ ]ST_rec.con.types.xml.gz2004-04-08 18:12 208  
[ ]Always.con.types.xml.gz2004-04-08 18:12 209  
[ ]ExistsS.ind.types.xml.gz2004-04-08 18:12 209  
[ ]ForAll.con.types.xml.gz2004-04-08 18:12 209  
[ ]InvSc3.con.types.xml.gz2004-04-08 18:12 209  
[ ]Posible.ind.types.xml.gz2004-04-08 18:12 209  
[ ]SG_rec.con.types.xml.gz2004-04-08 18:12 209  
[ ]isTrace.ind.types.xml.gz2004-04-08 18:12 209  
[ ]ForAllS.ind.types.xml.gz2004-04-08 18:12 210  
[ ]InvTick.con.types.xml.gz2004-04-08 18:12 210  
[ ]SC_rect.con.types.xml.gz2004-04-08 18:12 210  
[ ]SG_rect.con.types.xml.gz2004-04-08 18:12 210  
[ ]ST_rect.con.types.xml.gz2004-04-08 18:12 210  
[ ]SiniTCG.con.types.xml.gz2004-04-08 18:12 210  
[ ]ini_CkC.con.types.xml.gz2004-04-08 18:12 210  
[ ]ini_CkG.con.types.xml.gz2004-04-08 18:12 210  
[ ]ini_CkT.con.types.xml.gz2004-04-08 18:12 210  
[ ]safeTCG.con.types.xml.gz2004-04-08 18:12 210  
[ ]Exists_T.ind.types.xml.gz2004-04-08 18:12 211  
[ ]RState_T.ind.types.xml.gz2004-04-08 18:12 211  
[ ]EX_Until.ind.types.xml.gz2004-04-08 18:12 212  
[ ]ForAll_T.con.types.xml.gz2004-04-08 18:12 212  
[ ]InvInside.con.types.xml.gz2004-04-08 18:12 212  
[ ]SafePath.ind.types.xml.gz2004-04-08 18:12 212  
[ ]StGlobal.con.types.xml.gz2004-04-08 18:12 212  
[ ]TrGlobal.ind.types.xml.gz2004-04-08 18:12 212  
[ ]Always_T.con.types.xml.gz2004-04-08 18:12 213  
[ ]FA_Until.con.types.xml.gz2004-04-08 18:12 213  
[ ]Posible_T.ind.types.xml.gz2004-04-08 18:12 213  
[ ]isTrace_T.ind.types.xml.gz2004-04-08 18:12 213  
[ ]noInvTick.con.types.xml.gz2004-04-08 18:12 213  
[ ]not_le_lt.con.types.xml.gz2004-04-08 18:12 213  
[ ]Label_rec.con.types.xml.gz2004-04-08 18:12 214  
[ ]Inevitable.con.types.xml.gz2004-04-08 18:12 215  
[ ]Label_rect.con.types.xml.gz2004-04-08 18:12 215  
[ ]SafePath_T.ind.types.xml.gz2004-04-08 18:12 215  
[ ]Until_bound.ind.types.xml.gz2004-04-08 18:12 216  
[ ]Exists_from.con.types.xml.gz2004-04-08 18:12 217  
[ ]isTraceFrom.con.types.xml.gz2004-04-08 18:12 217  
[ ]ForAll_from.con.types.xml.gz2004-04-08 18:12 218  
[ ]Inevitable_T.con.types.xml.gz2004-04-08 18:12 218  
[ ]Exists_from_T.con.types.xml.gz2004-04-08 18:12 220  
[ ]ForAll_from_T.con.types.xml.gz2004-04-08 18:12 221  
[ ]isTraceFrom_T.con.types.xml.gz2004-04-08 18:12 221  
[ ]EX_Until_bound.ind.types.xml.gz2004-04-08 18:12 222  
[ ]FA_Until_bound.con.types.xml.gz2004-04-08 18:12 223  
[ ]ini_CkC.con.xml.gz2004-04-08 18:12 232  
[ ]ini_CkT.con.xml.gz2004-04-08 18:12 232  
[ ]ini_CkG.con.xml.gz2004-04-08 18:12 233  
[ ]kt1.con.xml.gz2004-04-08 18:12 240  
[ ]kc1.con.xml.gz2004-04-08 18:12 241  
[ ]kc2.con.xml.gz2004-04-08 18:12 241  
[ ]kg1.con.xml.gz2004-04-08 18:12 241  
[ ]kg2.con.xml.gz2004-04-08 18:12 241  
[ ]kg3.con.xml.gz2004-04-08 18:12 241  
[ ]kt2.con.xml.gz2004-04-08 18:12 242  
[ ]S_Ck.con.xml.gz2004-04-08 18:12 249  
[ ]SiniTCG.con.xml.gz2004-04-08 18:12 249  
[ ]ini_CkC.con.body.xml.gz2004-04-08 18:12 283  
[ ]ini_CkT.con.body.xml.gz2004-04-08 18:12 283  
[ ]ini_CkG.con.body.xml.gz2004-04-08 18:12 284  
[ ]SiniC.con.xml.gz2004-04-08 18:12 287  
[ ]SiniG.con.xml.gz2004-04-08 18:12 287  
[ ]SiniT.con.xml.gz2004-04-08 18:12 287  
[ ]Trivial1.con.xml.gz2004-04-08 18:12 303  
[ ]Inv1.con.xml.gz2004-04-08 18:12 304  
[ ]Inv6.con.xml.gz2004-04-08 18:12 304  
[ ]Inv7.con.xml.gz2004-04-08 18:12 304  
[ ]Inv3.con.xml.gz2004-04-08 18:12 305  
[ ]Inv4.con.xml.gz2004-04-08 18:12 305  
[ ]Inv5.con.xml.gz2004-04-08 18:12 305  
[ ]Inv8.con.xml.gz2004-04-08 18:12 305  
[ ]Inv9.con.xml.gz2004-04-08 18:12 305  
[ ]Inv12.con.xml.gz2004-04-08 18:12 305  
[ ]Inv2.con.xml.gz2004-04-08 18:12 306  
[ ]Inv14.con.xml.gz2004-04-08 18:12 306  
[ ]Inv13.con.xml.gz2004-04-08 18:12 307  
[ ]Inv10.con.xml.gz2004-04-08 18:12 308  
[ ]Inv11.con.xml.gz2004-04-08 18:12 308  
[ ]InvTick.con.xml.gz2004-04-08 18:12 309  
[ ]safeTCG.con.xml.gz2004-04-08 18:12 309  
[ ]InvSc3.con.xml.gz2004-04-08 18:12 310  
[ ]trivial_inv_5.con.xml.gz2004-04-08 18:12 310  
[ ]trivial_inv_1.con.xml.gz2004-04-08 18:12 311  
[ ]trivial_inv_3.con.xml.gz2004-04-08 18:12 311  
[ ]trivial_inv_4.con.xml.gz2004-04-08 18:12 311  
[ ]InvInside.con.xml.gz2004-04-08 18:12 312  
[ ]noInvTick.con.xml.gz2004-04-08 18:12 312  
[ ]Trivial18.con.xml.gz2004-04-08 18:12 327  
[ ]Trivial21.con.xml.gz2004-04-08 18:12 327  
[ ]Trivial26.con.xml.gz2004-04-08 18:12 328  
[ ]Trivial27.con.xml.gz2004-04-08 18:12 328  
[ ]Trivial28.con.xml.gz2004-04-08 18:12 328  
[ ]ST.ind.xml.gz2004-04-08 18:12 336  
[ ]SC.ind.xml.gz2004-04-08 18:12 338  
[ ]kc1.con.body.xml.gz2004-04-08 18:12 349  
[ ]kc2.con.body.xml.gz2004-04-08 18:12 349  
[ ]kg1.con.body.xml.gz2004-04-08 18:12 349  
[ ]SG.ind.xml.gz2004-04-08 18:12 350  
[ ]kg2.con.body.xml.gz2004-04-08 18:12 350  
[ ]Trivial1.con.body.xml.gz2004-04-08 18:12 354  
[ ]SiniC.con.body.xml.gz2004-04-08 18:12 359  
[ ]SiniT.con.body.xml.gz2004-04-08 18:12 359  
[ ]SiniG.con.body.xml.gz2004-04-08 18:12 360  
[ ]ForAll.con.xml.gz2004-04-08 18:12 366  
[ ]Trivial2.con.xml.gz2004-04-08 18:12 371  
[ ]NoInvTick.con.xml.gz2004-04-08 18:13 372  
[ ]Trivial5.con.xml.gz2004-04-08 18:12 376  
[ ]trivial_inv_2.con.xml.gz2004-04-08 18:12 383  
[ ]Label.ind.xml.gz2004-04-08 18:12 387  
[ ]StGlobal.con.body.xml.gz2004-04-08 18:12 391  
[ ]trivial_inv_3.con.body.xml.gz2004-04-08 18:12 394  
[ ]trivial_inv_4.con.body.xml.gz2004-04-08 18:12 394  
[ ]lema_Inv2.con.xml.gz2004-04-08 18:12 396  
[ ]lema_Inv3.con.xml.gz2004-04-08 18:12 396  
[ ]lema_Inv5.con.xml.gz2004-04-08 18:12 396  
[ ]lema_Inv6.con.xml.gz2004-04-08 18:12 396  
[ ]lema_Inv9.con.xml.gz2004-04-08 18:12 396  
[ ]Trivial5.con.body.xml.gz2004-04-08 18:12 397  
[ ]lema_Inv11.con.xml.gz2004-04-08 18:12 397  
[ ]lema_Inv14.con.xml.gz2004-04-08 18:12 397  
[ ]Exists_from.con.xml.gz2004-04-08 18:12 398  
[ ]ForAll_from.con.xml.gz2004-04-08 18:12 398  
[ ]kt1.con.body.xml.gz2004-04-08 18:12 398  
[ ]lema_Inv8.con.xml.gz2004-04-08 18:12 398  
[ ]lema_Inv12.con.xml.gz2004-04-08 18:12 398  
[ ]lema_InvSc3.con.xml.gz2004-04-08 18:12 398  
[ ]kg3.con.body.xml.gz2004-04-08 18:12 399  
[ ]lema_Inv1.con.xml.gz2004-04-08 18:12 399  
[ ]lema_Inv4.con.xml.gz2004-04-08 18:12 399  
[ ]lema_Inv7.con.xml.gz2004-04-08 18:12 399  
[ ]lema_Inv10.con.xml.gz2004-04-08 18:12 400  
[ ]lema_Inv13.con.xml.gz2004-04-08 18:12 400  
[ ]lema_safeTCG.con.xml.gz2004-04-08 18:12 402  
[ ]S_Ck.con.body.xml.gz2004-04-08 18:12 403  
[ ]lema_InvInside.con.xml.gz2004-04-08 18:12 404  
[ ]trivial_inv_2.con.body.xml.gz2004-04-08 18:12 405  
[ ]Trivial11.con.xml.gz2004-04-08 18:12 410  
[ ]ForAll_T.con.xml.gz2004-04-08 18:12 415  
[ ]ST_rec.con.body.xml.gz2004-04-08 18:12 415  
[ ]NoImpl.con.xml.gz2004-04-08 18:12 416  
[ ]SC_rec.con.body.xml.gz2004-04-08 18:12 416  
[ ]SG_rec.con.body.xml.gz2004-04-08 18:12 417  
[ ]Trivial10.con.xml.gz2004-04-08 18:12 417  
[ ]Label_rec.con.body.xml.gz2004-04-08 18:12 420  
[ ]ST_ind.con.body.xml.gz2004-04-08 18:12 420  
[ ]SC_ind.con.body.xml.gz2004-04-08 18:12 422  
[ ]SG_ind.con.body.xml.gz2004-04-08 18:12 422  
[ ]Trivial2.con.body.xml.gz2004-04-08 18:12 425  
[ ]isTraceFrom.con.xml.gz2004-04-08 18:12 425  
[ ]Label_ind.con.body.xml.gz2004-04-08 18:12 426  
[ ]Trivial7.con.xml.gz2004-04-08 18:12 428  
[ ]Trivial1.con.types.xml.gz2004-04-08 18:12 432  
[ ]Exists_from_T.con.xml.gz2004-04-08 18:12 439  
[ ]ForAll_from_T.con.xml.gz2004-04-08 18:12 440  
[ ]Trivial30.con.xml.gz2004-04-08 18:12 444  
[ ]trivial_inv_5.con.body.xml.gz2004-04-08 18:12 444  
[ ]Always.con.xml.gz2004-04-08 18:12 448  
[ ]Trivial8.con.xml.gz2004-04-08 18:12 448  
[ ]Trivial9.con.xml.gz2004-04-08 18:12 450  
[ ]Inevitable.con.xml.gz2004-04-08 18:12 453  
[ ]not_le_lt.con.xml.gz2004-04-08 18:12 455  
[ ]Trivial24.con.xml.gz2004-04-08 18:12 457  
[ ]not_lt_le.con.xml.gz2004-04-08 18:12 460  
[ ]Trivial3.con.xml.gz2004-04-08 18:12 462  
[ ]Trivial11.con.body.xml.gz2004-04-08 18:12 464  
[ ]Trivial6.con.xml.gz2004-04-08 18:12 467  
[ ]Trivial31.con.xml.gz2004-04-08 18:12 468  
[ ]trivial_inv_3.con.types.xml.gz2004-04-08 18:12 485  
[ ]trivial_inv_4.con.types.xml.gz2004-04-08 18:12 485  
[ ]FA_Until.con.xml.gz2004-04-08 18:12 488  
[ ]SiniTCG.con.body.xml.gz2004-04-08 18:12 489  
[ ]ST_rec.con.xml.gz2004-04-08 18:12 499  
[ ]Trivial25.con.xml.gz2004-04-08 18:12 499  
[ ]Trivial14.con.xml.gz2004-04-08 18:12 500  
[ ]ST_rect.con.xml.gz2004-04-08 18:12 501  
[ ]ST_ind.con.xml.gz2004-04-08 18:12 506  
[ ]Trivial16.con.xml.gz2004-04-08 18:12 507  
[ ]Trivial22.con.body.xml.gz2004-04-08 18:12 507  
[ ]RState_Trans.con.xml.gz2004-04-08 18:12 508  
[ ]Trivial2.con.types.xml.gz2004-04-08 18:12 509  
[ ]Trivial34.con.xml.gz2004-04-08 18:12 509  
[ ]Trivial33.con.xml.gz2004-04-08 18:12 510  
[ ]Trivial22.con.xml.gz2004-04-08 18:12 511  
[ ]Trivial32.con.xml.gz2004-04-08 18:12 511  
[ ]Trivial23.con.xml.gz2004-04-08 18:12 514  
[ ]SC_rec.con.xml.gz2004-04-08 18:12 517  
[ ]SG_rec.con.xml.gz2004-04-08 18:12 518  
[ ]SC_rect.con.xml.gz2004-04-08 18:12 521  
[ ]SG_rect.con.xml.gz2004-04-08 18:12 522  
[ ]isTraceFrom_T.con.xml.gz2004-04-08 18:12 522  
[ ]SC_ind.con.xml.gz2004-04-08 18:12 524  
[ ]SG_ind.con.xml.gz2004-04-08 18:12 525  
[ ]Trivial12.con.xml.gz2004-04-08 18:12 527  
[ ]Trivial9.con.body.xml.gz2004-04-08 18:12 529  
[ ]Trivial17.con.xml.gz2004-04-08 18:12 529  
[ ]Trivial4.con.xml.gz2004-04-08 18:12 530  
[ ]Trivial6.con.body.xml.gz2004-04-08 18:12 531  
[ ]NonZeno.con.xml.gz2004-04-08 18:13 538  
[ ]ForAll.con.body.xml.gz2004-04-08 18:12 540  
[ ]NoImpl.con.body.xml.gz2004-04-08 18:12 541  
[ ]trivial_inv_5.con.types.xml.gz2004-04-08 18:12 541  
[ ]kt2.con.body.xml.gz2004-04-08 18:12 544  
[ ]Always_T.con.xml.gz2004-04-08 18:12 550  
[ ]Trivial29.con.xml.gz2004-04-08 18:12 550  
[ ]Trivial8.con.body.xml.gz2004-04-08 18:12 552  
[ ]StepsEX.con.xml.gz2004-04-08 18:12 555  
[ ]Trivial13.con.xml.gz2004-04-08 18:12 556  
[ ]Inevitable_T.con.xml.gz2004-04-08 18:12 558  
[ ]Trivial19.con.xml.gz2004-04-08 18:12 575  
[ ]Trivial5.con.types.xml.gz2004-04-08 18:12 585  
[ ]Trivial20.con.xml.gz2004-04-08 18:12 586  
[ ]trivial_inv_2.con.types.xml.gz2004-04-08 18:12 589  
[ ]Label_rec.con.xml.gz2004-04-08 18:12 593  
[ ]cl_Ifar.con.xml.gz2004-04-08 18:12 596  
[ ]Trivial15.con.xml.gz2004-04-08 18:12 597  
[ ]trivial_inv_1.con.body.xml.gz2004-04-08 18:12 597  
[ ]Label_rect.con.xml.gz2004-04-08 18:12 598  
[ ]cl_Isc1.con.xml.gz2004-04-08 18:12 599  
[ ]cl_Isc3.con.xml.gz2004-04-08 18:12 601  
[ ]Label_ind.con.xml.gz2004-04-08 18:12 602  
[ ]cl_Iopen.con.xml.gz2004-04-08 18:12 602  
[ ]not_3_and.con.xml.gz2004-04-08 18:12 605  
[ ]cl_Iclosed.con.xml.gz2004-04-08 18:12 607  
[ ]Mon_I.con.xml.gz2004-04-08 18:12 608  
[ ]isTraceFrom.con.body.xml.gz2004-04-08 18:12 609  
[ ]FA_Until_bound.con.xml.gz2004-04-08 18:12 613  
[ ]ForAll_from.con.body.xml.gz2004-04-08 18:12 617  
[ ]Exists_ind.con.xml.gz2004-04-08 18:12 618  
[ ]Mon_I_EX.con.xml.gz2004-04-08 18:12 618  
[ ]ST_ind.con.types.xml.gz2004-04-08 18:12 628  
[ ]RState_Trans_T.con.xml.gz2004-04-08 18:12 630  
[ ]Exists_from.con.body.xml.gz2004-04-08 18:12 637  
[ ]Always.con.body.xml.gz2004-04-08 18:12 640  
[ ]Inevitable.con.body.xml.gz2004-04-08 18:12 646  
[ ]Exists_ind.con.types.xml.gz2004-04-08 18:12 650  
[ ]ForAll_T.con.body.xml.gz2004-04-08 18:12 650  
[ ]ForAll_EX.con.xml.gz2004-04-08 18:12 655  
[ ]cl_Isc2.con.xml.gz2004-04-08 18:12 655  
[ ]cl_Isc4.con.xml.gz2004-04-08 18:12 655  
[ ]cl_Inear.con.xml.gz2004-04-08 18:12 656  
[ ]cl_Iinside.con.xml.gz2004-04-08 18:12 659  
[ ]NoImpl.con.types.xml.gz2004-04-08 18:12 661  
[ ]Exists.ind.xml.gz2004-04-08 18:12 662  
[ ]cl_Iraising.con.xml.gz2004-04-08 18:12 662  
[ ]cl_Ilowering.con.xml.gz2004-04-08 18:12 666  
[ ]OneStep_EX.con.xml.gz2004-04-08 18:12 669  
[ ]SC_ind.con.types.xml.gz2004-04-08 18:12 671  
[ ]SG_ind.con.types.xml.gz2004-04-08 18:12 672  
[ ]Trivial7.con.body.xml.gz2004-04-08 18:12 672  
[ ]OneStep_EX.con.body.xml.gz2004-04-08 18:12 675  
[ ]Mon_I_T.con.xml.gz2004-04-08 18:12 676  
[ ]Trivial11.con.types.xml.gz2004-04-08 18:12 676  
[ ]ForAll_from_T.con.body.xml.gz2004-04-08 18:12 679  
[ ]Conj.con.xml.gz2004-04-08 18:12 680  
[ ]RState.ind.xml.gz2004-04-08 18:12 682  
[ ]ST_rect.con.body.xml.gz2004-04-08 18:12 684  
[ ]Equiv2.con.xml.gz2004-04-08 18:12 685  
[ ]FA_Until.con.body.xml.gz2004-04-08 18:12 685  
[ ]Equiv1.con.xml.gz2004-04-08 18:12 687  
[ ]Mon_I_EX_T.con.xml.gz2004-04-08 18:12 692  
[ ]trivial_inv_1.con.types.xml.gz2004-04-08 18:12 694  
[ ]Exists_from_T.con.body.xml.gz2004-04-08 18:12 697  
[ ]not_EX.con.xml.gz2004-04-08 18:12 713  
[ ]Trivial3.con.body.xml.gz2004-04-08 18:12 722  
[ ]ForAll_EX_T.con.xml.gz2004-04-08 18:12 723  
[ ]Posible_ind.con.xml.gz2004-04-08 18:12 723  
[ ]Mon_I_S.con.xml.gz2004-04-08 18:12 725  
[ ]SC_rect.con.body.xml.gz2004-04-08 18:12 725  
[ ]SG_rect.con.body.xml.gz2004-04-08 18:12 725  
[ ]SafePath_ind.con.xml.gz2004-04-08 18:12 726  
[ ]isTraceFrom_T.con.body.xml.gz2004-04-08 18:12 727  
[ ]Exists_ind.con.body.xml.gz2004-04-08 18:12 730  
[ ]Mon_I_EX_S.con.xml.gz2004-04-08 18:12 734  
[ ]Exists_T_ind.con.xml.gz2004-04-08 18:12 738  
[ ]Inv_SiniTCG.con.body.xml.gz2004-04-08 18:12 744  
[ ]RState_ind.con.xml.gz2004-04-08 18:12 749  
[ ]Conj_T.con.xml.gz2004-04-08 18:12 751  
[ ]Equiv4.con.xml.gz2004-04-08 18:12 751  
[ ]Equiv3.con.xml.gz2004-04-08 18:12 752  
[ ]ConsTrace.con.xml.gz2004-04-08 18:12 753  
[ ]Posible_ind.con.types.xml.gz2004-04-08 18:12 758  
[ ]SafePath_ind.con.types.xml.gz2004-04-08 18:12 761  
[ ]Trivial24.con.body.xml.gz2004-04-08 18:12 767  
[ ]Exists_T_ind.con.types.xml.gz2004-04-08 18:12 771  
[ ]Exists_T.ind.xml.gz2004-04-08 18:12 776  
[ ]OneStep_EX.con.types.xml.gz2004-04-08 18:12 776  
[ ]Trivial18.con.body.xml.gz2004-04-08 18:12 777  
[ ]Trivial26.con.body.xml.gz2004-04-08 18:12 777  
[ ]Mon_I.con.body.xml.gz2004-04-08 18:12 779  
[ ]EX_Until_ind.con.xml.gz2004-04-08 18:12 780  
[ ]RState_Trans.con.types.xml.gz2004-04-08 18:12 783  
[ ]Posible.ind.xml.gz2004-04-08 18:12 787  
[ ]Trivial28.con.body.xml.gz2004-04-08 18:12 787  
[ ]SafePath.ind.xml.gz2004-04-08 18:12 790  
[ ]Conj_S.con.xml.gz2004-04-08 18:12 794  
[ ]cl_TRT_APPROACH.con.xml.gz2004-04-08 18:12 800  
[ ]cl_TRC_EXIT.con.xml.gz2004-04-08 18:12 802  
[ ]cl_TRG_LOWER.con.xml.gz2004-04-08 18:12 803  
[ ]InvT.ind.xml.gz2004-04-08 18:12 804  
[ ]cl_TRG_RAISE.con.xml.gz2004-04-08 18:12 805  
[ ]cl_TRC_APPROACH.con.xml.gz2004-04-08 18:12 806  
[ ]EX_Until_ind.con.types.xml.gz2004-04-08 18:12 808  
[ ]Equiv1_T.con.xml.gz2004-04-08 18:12 808  
[ ]Equiv2_T.con.xml.gz2004-04-08 18:12 819  
[ ]FA_Until_bound.con.body.xml.gz2004-04-08 18:12 821  
[ ]notPosible.con.xml.gz2004-04-08 18:12 821  
[ ]Label_ind.con.types.xml.gz2004-04-08 18:12 833  
[ ]cl_TRT_EXIT.con.xml.gz2004-04-08 18:12 835  
[ ]Posible_ind.con.body.xml.gz2004-04-08 18:12 836  
[ ]cl_TRC_RAISE.con.xml.gz2004-04-08 18:12 836  
[ ]cl_TRC_LOWER.con.xml.gz2004-04-08 18:12 838  
[ ]SafePath_ind.con.body.xml.gz2004-04-08 18:12 839  
[ ]cl_TRG_DOWN.con.xml.gz2004-04-08 18:12 840  
[ ]not_EX.con.body.xml.gz2004-04-08 18:12 841  
[ ]ForAllS.ind.xml.gz2004-04-08 18:12 846  
[ ]Exists_T_ind.con.body.xml.gz2004-04-08 18:12 853  
[ ]isTrace.ind.xml.gz2004-04-08 18:12 854  
[ ]not_lt_le.con.body.xml.gz2004-04-08 18:12 856  
[ ]InvC.ind.xml.gz2004-04-08 18:12 865  
[ ]cl_TRT_IN.con.xml.gz2004-04-08 18:12 865  
[ ]EX_Until.ind.xml.gz2004-04-08 18:12 866  
[ ]Trivial18.con.types.xml.gz2004-04-08 18:12 869  
[ ]Trivial26.con.types.xml.gz2004-04-08 18:12 870  
[ ]cl_TRG_UP.con.xml.gz2004-04-08 18:12 870  
[ ]Trivial28.con.types.xml.gz2004-04-08 18:12 871  
[ ]Equiv4_T.con.xml.gz2004-04-08 18:12 874  
[ ]Equiv3_T.con.xml.gz2004-04-08 18:12 875  
[ ]InvG.ind.xml.gz2004-04-08 18:12 876  
[ ]Trivial3.con.types.xml.gz2004-04-08 18:12 876  
[ ]Label_rect.con.body.xml.gz2004-04-08 18:12 877  
[ ]InvT_ind.con.xml.gz2004-04-08 18:12 882  
[ ]Conj.con.body.xml.gz2004-04-08 18:12 891  
[ ]EX_Until_ind.con.body.xml.gz2004-04-08 18:12 898  
[ ]ExistsS.ind.xml.gz2004-04-08 18:12 912  
[ ]cl_TRT_INC_TIME.con.xml.gz2004-04-08 18:12 915  
[ ]cl_TRG_INC_TIME.con.xml.gz2004-04-08 18:12 916  
[ ]cl_TRC_INC_TIME.con.xml.gz2004-04-08 18:12 919  
[ ]EX_Until_bound_ind.con.xml.gz2004-04-08 18:12 920  
[ ]ExistsS_ind.con.xml.gz2004-04-08 18:12 921  
[ ]InvT_ind.con.types.xml.gz2004-04-08 18:12 921  
[ ]StepsEX.con.types.xml.gz2004-04-08 18:12 923  
[ ]Trivial21.con.body.xml.gz2004-04-08 18:12 927  
[ ]EX_Until_bound_ind.con.types.xml.gz2004-04-08 18:12 934  
[ ]ConsTrace_T.con.xml.gz2004-04-08 18:12 938  
[ ]InvT'.con.xml.gz2004-04-08 18:12 939  
[ ]InvG_ind.con.xml.gz2004-04-08 18:12 945  
[ ]InvC_ind.con.xml.gz2004-04-08 18:12 946  
[ ]RState_Trans.con.body.xml.gz2004-04-08 18:12 948  
[ ]not_lt_le.con.types.xml.gz2004-04-08 18:12 953  
[ ]Mon_I_T.con.body.xml.gz2004-04-08 18:12 959  
[ ]Trivial31.con.body.xml.gz2004-04-08 18:12 971  
[ ]No_invT.con.xml.gz2004-04-08 18:12 1.0K 
[ ]No_invC.con.xml.gz2004-04-08 18:12 1.0K 
[ ]No_invG.con.xml.gz2004-04-08 18:12 1.0K 
[ ]InvG_ind.con.types.xml.gz2004-04-08 18:12 1.0K 
[ ]InvC_ind.con.types.xml.gz2004-04-08 18:12 1.0K 
[ ]Trivial7.con.types.xml.gz2004-04-08 18:12 1.0K 
[ ]InvG'.con.xml.gz2004-04-08 18:12 1.0K 
[ ]InvC'.con.xml.gz2004-04-08 18:12 1.0K 
[ ]notPosible_T.con.xml.gz2004-04-08 18:12 1.0K 
[ ]Mon_I_EX.con.types.xml.gz2004-04-08 18:12 1.0K 
[ ]InvInside.con.body.xml.gz2004-04-08 18:12 1.0K 
[ ]Until_ind.con.xml.gz2004-04-08 18:12 1.0K 
[ ]EX_Until_bound_ind.con.body.xml.gz2004-04-08 18:12 1.0K 
[ ]Trivial9.con.types.xml.gz2004-04-08 18:12 1.0K 
[ ]RState_T.ind.xml.gz2004-04-08 18:12 1.0K 
[ ]Trivial21.con.types.xml.gz2004-04-08 18:12 1.0K 
[ ]Trivial8.con.types.xml.gz2004-04-08 18:12 1.0K 
[ ]Inv_SiniTCG.con.xml.gz2004-04-08 18:12 1.0K 
[ ]EX_Until_bound.ind.xml.gz2004-04-08 18:12 1.1K 
[ ]InvT_ind.con.body.xml.gz2004-04-08 18:12 1.1K 
[ ]Mon_I.con.types.xml.gz2004-04-08 18:12 1.1K 
[ ]Conj_T.con.body.xml.gz2004-04-08 18:12 1.1K 
[ ]Trivial6.con.types.xml.gz2004-04-08 18:12 1.1K 
[ ]Until.ind.xml.gz2004-04-08 18:12 1.1K 
[ ]Inevitable_T.con.body.xml.gz2004-04-08 18:12 1.1K 
[ ]Always_T.con.body.xml.gz2004-04-08 18:12 1.1K 
[ ]RState_ind.con.types.xml.gz2004-04-08 18:12 1.1K 
[ ]StepsEX.con.body.xml.gz2004-04-08 18:12 1.1K 
[ ]Trivial22.con.types.xml.gz2004-04-08 18:12 1.1K 
[ ]Mon_I_EX.con.body.xml.gz2004-04-08 18:12 1.1K 
[ ]InvC_ind.con.body.xml.gz2004-04-08 18:12 1.2K 
[ ]InvG_ind.con.body.xml.gz2004-04-08 18:12 1.2K 
[ ]RState_T_ind.con.xml.gz2004-04-08 18:12 1.2K 
[ ]not_EX.con.types.xml.gz2004-04-08 18:12 1.2K 
[ ]Mon_I_EX_T.con.types.xml.gz2004-04-08 18:12 1.2K 
[ ]Trivial10.con.body.xml.gz2004-04-08 18:12 1.2K 
[ ]Posible_T_ind.con.xml.gz2004-04-08 18:12 1.2K 
[ ]InvSc3.con.body.xml.gz2004-04-08 18:12 1.2K 
[ ]SafePath_T_ind.con.xml.gz2004-04-08 18:12 1.2K 
[ ]Posible_T_ind.con.types.xml.gz2004-04-08 18:12 1.2K 
[ ]TrT.ind.xml.gz2004-04-08 18:12 1.2K 
[ ]Trivial24.con.types.xml.gz2004-04-08 18:12 1.2K 
[ ]SafePath_T_ind.con.types.xml.gz2004-04-08 18:12 1.2K 
[ ]Trivial4.con.body.xml.gz2004-04-08 18:12 1.3K 
[ ]Mon_I_T.con.types.xml.gz2004-04-08 18:12 1.3K 
[ ]Posible_T.ind.xml.gz2004-04-08 18:12 1.3K 
[ ]SafePath_T.ind.xml.gz2004-04-08 18:12 1.3K 
[ ]Posible_T_ind.con.body.xml.gz2004-04-08 18:12 1.3K 
[ ]Trivial27.con.body.xml.gz2004-04-08 18:12 1.3K 
[ ]SafePath_T_ind.con.body.xml.gz2004-04-08 18:12 1.3K 
[ ]TrC.ind.xml.gz2004-04-08 18:12 1.3K 
[ ]RState_ind.con.body.xml.gz2004-04-08 18:12 1.3K 
[ ]TrG.ind.xml.gz2004-04-08 18:12 1.3K 
[ ]Mon_I_EX_T.con.body.xml.gz2004-04-08 18:12 1.4K 
[ ]Trivial17.con.body.xml.gz2004-04-08 18:12 1.4K 
[ ]TrT_ind.con.xml.gz2004-04-08 18:12 1.4K 
[ ]Inv13.con.body.xml.gz2004-04-08 18:12 1.4K 
[ ]Inv12.con.body.xml.gz2004-04-08 18:12 1.4K 
[ ]safeTCG.con.body.xml.gz2004-04-08 18:12 1.4K 
[ ]TrT_ind.con.types.xml.gz2004-04-08 18:12 1.4K 
[ ]INV_T_general.con.xml.gz2004-04-08 18:12 1.4K 
[ ]Trivial16.con.body.xml.gz2004-04-08 18:12 1.4K 
[ ]Inv4.con.body.xml.gz2004-04-08 18:12 1.4K 
[ ]Inv3.con.body.xml.gz2004-04-08 18:12 1.4K 
[ ]TrC_ind.con.xml.gz2004-04-08 18:12 1.4K 
[ ]ExistsS_ind.con.types.xml.gz2004-04-08 18:12 1.4K 
[ ]INV_G_general.con.xml.gz2004-04-08 18:12 1.5K 
[ ]INV_C_general.con.xml.gz2004-04-08 18:12 1.5K 
[ ]Inv11.con.body.xml.gz2004-04-08 18:12 1.5K 
[ ]TrG_ind.con.xml.gz2004-04-08 18:12 1.5K 
[ ]Inv10.con.body.xml.gz2004-04-08 18:12 1.5K 
[ ]Until_bound_ind.con.xml.gz2004-04-08 18:12 1.5K 
[ ]TrC_ind.con.types.xml.gz2004-04-08 18:12 1.5K 
[ ]notPosible.con.body.xml.gz2004-04-08 18:12 1.5K 
[ ]Trivial12.con.body.xml.gz2004-04-08 18:12 1.5K 
[ ]notPosible.con.types.xml.gz2004-04-08 18:12 1.5K 
[ ]Inv6.con.body.xml.gz2004-04-08 18:12 1.5K 
[ ]TrG_ind.con.types.xml.gz2004-04-08 18:12 1.5K 
[ ]ExistsS_ind.con.body.xml.gz2004-04-08 18:12 1.5K 
[ ]Mon_I_EX_S.con.body.xml.gz2004-04-08 18:12 1.5K 
[ ]Trivial31.con.types.xml.gz2004-04-08 18:12 1.6K 
[ ]Trivial4.con.types.xml.gz2004-04-08 18:12 1.6K 
[ ]Trivial13.con.body.xml.gz2004-04-08 18:12 1.6K 
[ ]Trivial27.con.types.xml.gz2004-04-08 18:12 1.6K 
[ ]Trivial30.con.body.xml.gz2004-04-08 18:12 1.6K 
[ ]Until_bound.ind.xml.gz2004-04-08 18:12 1.6K 
[ ]Trivial33.con.body.xml.gz2004-04-08 18:12 1.6K 
[ ]Trivial10.con.types.xml.gz2004-04-08 18:12 1.6K 
[ ]Mon_I_EX_S.con.types.xml.gz2004-04-08 18:12 1.6K 
[ ]Inv14.con.body.xml.gz2004-04-08 18:12 1.6K 
[ ]TrT_ind.con.body.xml.gz2004-04-08 18:12 1.6K 
[ ]Conj.con.types.xml.gz2004-04-08 18:12 1.7K 
[ ]Inv5.con.body.xml.gz2004-04-08 18:12 1.7K 
[ ]Until_ind.con.types.xml.gz2004-04-08 18:12 1.7K 
[ ]Inv2.con.body.xml.gz2004-04-08 18:12 1.7K 
[ ]isTrace_T.ind.xml.gz2004-04-08 18:12 1.7K 
[ ]Inv8.con.body.xml.gz2004-04-08 18:12 1.7K 
[ ]Inv9.con.body.xml.gz2004-04-08 18:12 1.7K 
[ ]INV_TCG_general.con.xml.gz2004-04-08 18:12 1.7K 
[ ]Inv7.con.body.xml.gz2004-04-08 18:12 1.7K 
[ ]Inv1.con.body.xml.gz2004-04-08 18:12 1.7K 
[ ]Inv_SiniTCG.con.types.xml.gz2004-04-08 18:12 1.7K 
[ ]Trivial16.con.types.xml.gz2004-04-08 18:12 1.8K 
[ ]Until_ind.con.body.xml.gz2004-04-08 18:12 1.8K 
[ ]TrC_ind.con.body.xml.gz2004-04-08 18:12 1.8K 
[ ]TrG_ind.con.body.xml.gz2004-04-08 18:12 1.8K 
[ ]Trivial30.con.types.xml.gz2004-04-08 18:12 1.9K 
[ ]Mon_I_S.con.types.xml.gz2004-04-08 18:12 2.0K 
[ ]Conj_T.con.types.xml.gz2004-04-08 18:12 2.0K 
[ ]RState_T_ind.con.types.xml.gz2004-04-08 18:12 2.0K 
[ ]RState_Trans_T.con.body.xml.gz2004-04-08 18:12 2.0K 
[ ]Trivial29.con.body.xml.gz2004-04-08 18:12 2.1K 
[ ]Trivial12.con.types.xml.gz2004-04-08 18:12 2.1K 
[ ]RState_T_ind.con.body.xml.gz2004-04-08 18:12 2.2K 
[ ]Trivial17.con.types.xml.gz2004-04-08 18:12 2.2K 
[ ]Trivial33.con.types.xml.gz2004-04-08 18:12 2.2K 
[ ]Mon_I_S.con.body.xml.gz2004-04-08 18:12 2.2K 
[ ]Trivial20.con.body.xml.gz2004-04-08 18:12 2.3K 
[ ]notPosible_T.con.types.xml.gz2004-04-08 18:12 2.3K 
[ ]Trivial13.con.types.xml.gz2004-04-08 18:12 2.4K 
[ ]notPosible_T.con.body.xml.gz2004-04-08 18:12 2.4K 
[ ]Until_bound_ind.con.types.xml.gz2004-04-08 18:12 2.6K 
[ ]InvTick.con.body.xml.gz2004-04-08 18:12 2.6K 
[ ]Until_bound_ind.con.body.xml.gz2004-04-08 18:12 2.6K 
[ ]Trivial14.con.body.xml.gz2004-04-08 18:12 2.7K 
[ ]Equiv2.con.body.xml.gz2004-04-08 18:12 2.7K 
[ ]ForAll_EX.con.body.xml.gz2004-04-08 18:12 2.7K 
[ ]RState_Trans_T.con.types.xml.gz2004-04-08 18:12 2.7K 
[ ]Trivial34.con.body.xml.gz2004-04-08 18:12 2.8K 
[ ]ForAll_EX.con.types.xml.gz2004-04-08 18:12 3.0K 
[ ]Trivial14.con.types.xml.gz2004-04-08 18:12 3.0K 
[ ]Trivial29.con.types.xml.gz2004-04-08 18:12 3.0K 
[ ]Equiv2.con.types.xml.gz2004-04-08 18:12 3.1K 
[ ]noInvTick.con.body.xml.gz2004-04-08 18:12 3.1K 
[ ]ForAll_EX_T.con.body.xml.gz2004-04-08 18:12 3.2K 
[ ]Trivial23.con.body.xml.gz2004-04-08 18:12 3.2K 
[ ]Trivial25.con.body.xml.gz2004-04-08 18:12 3.2K 
[ ]Equiv1.con.body.xml.gz2004-04-08 18:12 3.2K 
[ ]Equiv1.con.types.xml.gz2004-04-08 18:12 3.3K 
[ ]InvT'.con.body.xml.gz2004-04-08 18:12 3.4K 
[ ]INV_T_general.con.body.xml.gz2004-04-08 18:12 3.5K 
[ ]ForAll_EX_T.con.types.xml.gz2004-04-08 18:12 3.6K 
[ ]INV_G_general.con.body.xml.gz2004-04-08 18:12 3.8K 
[ ]Trivial34.con.types.xml.gz2004-04-08 18:12 3.8K 
[ ]INV_C_general.con.body.xml.gz2004-04-08 18:12 3.8K 
[ ]Trivial15.con.body.xml.gz2004-04-08 18:12 3.8K 
[ ]InvT'.con.types.xml.gz2004-04-08 18:12 3.9K 
[ ]cl_Ifar.con.types.xml.gz2004-04-08 18:12 4.0K 
[ ]cl_Ifar.con.body.xml.gz2004-04-08 18:12 4.0K 
[ ]not_3_and.con.body.xml.gz2004-04-08 18:12 4.1K 
[ ]InvG'.con.body.xml.gz2004-04-08 18:12 4.3K 
[ ]InvC'.con.body.xml.gz2004-04-08 18:12 4.3K 
[ ]cl_Iinside.con.types.xml.gz2004-04-08 18:12 4.3K 
[ ]cl_Inear.con.body.xml.gz2004-04-08 18:12 4.3K 
[ ]cl_Inear.con.types.xml.gz2004-04-08 18:12 4.3K 
[ ]cl_Iinside.con.body.xml.gz2004-04-08 18:12 4.4K 
[ ]TrGlobal_ind.con.xml.gz2004-04-08 18:12 4.4K 
[ ]TrGlobal.ind.xml.gz2004-04-08 18:12 4.5K 
[ ]not_3_and.con.types.xml.gz2004-04-08 18:12 4.6K 
[ ]TrGlobal_ind.con.types.xml.gz2004-04-08 18:12 4.7K 
[ ]InvG'.con.types.xml.gz2004-04-08 18:12 4.7K 
[ ]InvC'.con.types.xml.gz2004-04-08 18:12 4.7K 
[ ]Trivial20.con.types.xml.gz2004-04-08 18:12 4.7K 
[ ]cl_Iclosed.con.types.xml.gz2004-04-08 18:12 4.8K 
[ ]cl_Iopen.con.types.xml.gz2004-04-08 18:12 4.8K 
[ ]cl_Isc3.con.types.xml.gz2004-04-08 18:12 4.8K 
[ ]Trivial25.con.types.xml.gz2004-04-08 18:12 4.8K 
[ ]cl_Isc1.con.types.xml.gz2004-04-08 18:12 4.8K 
[ ]cl_Isc3.con.body.xml.gz2004-04-08 18:12 4.8K 
[ ]cl_Iclosed.con.body.xml.gz2004-04-08 18:12 4.8K 
[ ]cl_Isc1.con.body.xml.gz2004-04-08 18:12 4.9K 
[ ]cl_Iopen.con.body.xml.gz2004-04-08 18:12 4.9K 
[ ]TrGlobal_ind.con.body.xml.gz2004-04-08 18:12 5.0K 
[ ]cl_Ilowering.con.types.xml.gz2004-04-08 18:12 5.0K 
[ ]cl_Isc2.con.types.xml.gz2004-04-08 18:12 5.0K 
[ ]cl_Iraising.con.types.xml.gz2004-04-08 18:12 5.0K 
[ ]cl_Isc4.con.types.xml.gz2004-04-08 18:12 5.0K 
[ ]Trivial23.con.types.xml.gz2004-04-08 18:12 5.0K 
[ ]cl_Isc2.con.body.xml.gz2004-04-08 18:12 5.0K 
[ ]cl_Isc4.con.body.xml.gz2004-04-08 18:12 5.0K 
[ ]cl_Iraising.con.body.xml.gz2004-04-08 18:12 5.0K 
[ ]cl_Ilowering.con.body.xml.gz2004-04-08 18:12 5.1K 
[ ]Trivial19.con.body.xml.gz2004-04-08 18:12 5.2K 
[ ]Trivial32.con.body.xml.gz2004-04-08 18:12 5.7K 
[ ]Trivial15.con.types.xml.gz2004-04-08 18:12 6.6K 
[ ]Trivial32.con.types.xml.gz2004-04-08 18:12 7.1K 
[ ]lema_safeTCG.con.body.xml.gz2004-04-08 18:12 7.5K 
[ ]cl_TRT_APPROACH.con.body.xml.gz2004-04-08 18:12 7.6K 
[ ]Trivial19.con.types.xml.gz2004-04-08 18:12 7.7K 
[ ]cl_TRT_IN.con.body.xml.gz2004-04-08 18:12 7.9K 
[ ]cl_TRT_EXIT.con.body.xml.gz2004-04-08 18:12 7.9K 
[ ]cl_TRT_INC_TIME.con.body.xml.gz2004-04-08 18:12 8.0K 
[ ]cl_TRC_APPROACH.con.body.xml.gz2004-04-08 18:12 9.0K 
[ ]cl_TRC_EXIT.con.body.xml.gz2004-04-08 18:12 9.1K 
[ ]cl_TRG_LOWER.con.body.xml.gz2004-04-08 18:12 9.1K 
[ ]cl_TRC_LOWER.con.body.xml.gz2004-04-08 18:12 9.2K 
[ ]cl_TRG_RAISE.con.body.xml.gz2004-04-08 18:12 9.2K 
[ ]cl_TRC_RAISE.con.body.xml.gz2004-04-08 18:12 9.2K 
[ ]cl_TRG_DOWN.con.body.xml.gz2004-04-08 18:12 9.3K 
[ ]ConsTrace.con.body.xml.gz2004-04-08 18:12 9.4K 
[ ]cl_TRC_INC_TIME.con.body.xml.gz2004-04-08 18:12 9.4K 
[ ]cl_TRG_INC_TIME.con.body.xml.gz2004-04-08 18:12 9.5K 
[ ]cl_TRG_UP.con.body.xml.gz2004-04-08 18:12 9.5K 
[ ]INV_T_general.con.types.xml.gz2004-04-08 18:12 9.6K 
[ ]Equiv2_T.con.body.xml.gz2004-04-08 18:12 10K 
[ ]cl_TRT_APPROACH.con.types.xml.gz2004-04-08 18:12 10K 
[ ]INDEX2005-07-05 08:11 10K 
[ ]cl_TRT_INC_TIME.con.types.xml.gz2004-04-08 18:12 10K 
[ ]cl_TRT_IN.con.types.xml.gz2004-04-08 18:12 10K 
[ ]Conj_S.con.body.xml.gz2004-04-08 18:12 11K 
[ ]cl_TRT_EXIT.con.types.xml.gz2004-04-08 18:12 11K 
[ ]Equiv1_T.con.body.xml.gz2004-04-08 18:12 11K 
[ ]No_invT.con.body.xml.gz2004-04-08 18:12 11K 
[ ]INV_G_general.con.types.xml.gz2004-04-08 18:12 11K 
[ ]INV_C_general.con.types.xml.gz2004-04-08 18:12 11K 
[ ]ConsTrace.con.types.xml.gz2004-04-08 18:12 11K 
[ ]cl_TRC_EXIT.con.types.xml.gz2004-04-08 18:12 12K 
[ ]Equiv2_T.con.types.xml.gz2004-04-08 18:12 12K 
[ ]cl_TRC_APPROACH.con.types.xml.gz2004-04-08 18:12 12K 
[ ]cl_TRC_INC_TIME.con.types.xml.gz2004-04-08 18:12 12K 
[ ]cl_TRC_LOWER.con.types.xml.gz2004-04-08 18:12 12K 
[ ]cl_TRC_RAISE.con.types.xml.gz2004-04-08 18:12 12K 
[ ]cl_TRG_RAISE.con.types.xml.gz2004-04-08 18:12 12K 
[ ]cl_TRG_INC_TIME.con.types.xml.gz2004-04-08 18:12 12K 
[ ]cl_TRG_LOWER.con.types.xml.gz2004-04-08 18:12 12K 
[ ]cl_TRG_DOWN.con.types.xml.gz2004-04-08 18:12 12K 
[ ]cl_TRG_UP.con.types.xml.gz2004-04-08 18:12 13K 
[ ]Equiv1_T.con.types.xml.gz2004-04-08 18:12 13K 
[ ]Conj_S.con.types.xml.gz2004-04-08 18:12 13K 
[ ]No_invT.con.types.xml.gz2004-04-08 18:12 13K 
[ ]lema_safeTCG.con.types.xml.gz2004-04-08 18:12 15K 
[ ]No_invG.con.body.xml.gz2004-04-08 18:12 16K 
[ ]No_invC.con.body.xml.gz2004-04-08 18:12 16K 
[ ]Equiv3.con.body.xml.gz2004-04-08 18:12 17K 
[ ]No_invG.con.types.xml.gz2004-04-08 18:12 17K 
[ ]No_invC.con.types.xml.gz2004-04-08 18:12 17K 
[ ]Equiv3.con.types.xml.gz2004-04-08 18:12 17K 
[ ]Equiv4.con.body.xml.gz2004-04-08 18:12 19K 
[ ]lema_Inv11.con.body.xml.gz2004-04-08 18:12 20K 
[ ]Equiv4.con.types.xml.gz2004-04-08 18:12 22K 
[ ]ConsTrace_T.con.body.xml.gz2004-04-08 18:12 25K 
[ ]lema_Inv11.con.types.xml.gz2004-04-08 18:12 30K 
[ ]lema_InvInside.con.body.xml.gz2004-04-08 18:12 33K 
[ ]lema_InvSc3.con.body.xml.gz2004-04-08 18:12 33K 
[ ]lema_Inv12.con.body.xml.gz2004-04-08 18:12 33K 
[ ]lema_Inv3.con.body.xml.gz2004-04-08 18:12 33K 
[ ]lema_Inv5.con.body.xml.gz2004-04-08 18:12 34K 
[ ]lema_Inv4.con.body.xml.gz2004-04-08 18:12 34K 
[ ]lema_Inv13.con.body.xml.gz2004-04-08 18:12 35K 
[ ]lema_Inv10.con.body.xml.gz2004-04-08 18:12 36K 
[ ]lema_Inv14.con.body.xml.gz2004-04-08 18:12 36K 
[ ]lema_Inv1.con.body.xml.gz2004-04-08 18:12 37K 
[ ]lema_Inv7.con.body.xml.gz2004-04-08 18:12 37K 
[ ]ConsTrace_T.con.types.xml.gz2004-04-08 18:12 37K 
[ ]Equiv3_T.con.body.xml.gz2004-04-08 18:12 39K 
[ ]lema_Inv2.con.body.xml.gz2004-04-08 18:12 39K 
[ ]lema_Inv6.con.body.xml.gz2004-04-08 18:12 43K 
[ ]INV_TCG_general.con.body.xml.gz2004-04-08 18:12 43K 
[ ]lema_Inv9.con.body.xml.gz2004-04-08 18:12 43K 
[ ]lema_Inv8.con.body.xml.gz2004-04-08 18:12 46K 
[ ]Equiv4_T.con.body.xml.gz2004-04-08 18:12 47K 
[ ]NoInvTick.con.body.xml.gz2004-04-08 18:13 47K 
[ ]lema_InvInside.con.types.xml.gz2004-04-08 18:12 49K 
[ ]lema_InvSc3.con.types.xml.gz2004-04-08 18:12 49K 
[ ]lema_Inv12.con.types.xml.gz2004-04-08 18:12 49K 
[ ]lema_Inv3.con.types.xml.gz2004-04-08 18:12 50K 
[ ]lema_Inv13.con.types.xml.gz2004-04-08 18:12 51K 
[ ]lema_Inv5.con.types.xml.gz2004-04-08 18:12 51K 
[ ]lema_Inv4.con.types.xml.gz2004-04-08 18:12 52K 
[ ]Equiv3_T.con.types.xml.gz2004-04-08 18:12 54K 
[ ]lema_Inv14.con.types.xml.gz2004-04-08 18:12 54K 
[ ]lema_Inv7.con.types.xml.gz2004-04-08 18:12 54K 
[ ]lema_Inv1.con.types.xml.gz2004-04-08 18:12 54K 
[ ]lema_Inv10.con.types.xml.gz2004-04-08 18:12 55K 
[ ]lema_Inv2.con.types.xml.gz2004-04-08 18:12 55K 
[ ]lema_Inv6.con.types.xml.gz2004-04-08 18:12 58K 
[ ]lema_Inv9.con.types.xml.gz2004-04-08 18:12 60K 
[ ]lema_Inv8.con.types.xml.gz2004-04-08 18:12 61K 
[ ]INV_TCG_general.con.types.xml.gz2004-04-08 18:12 68K 
[ ]Equiv4_T.con.types.xml.gz2004-04-08 18:12 70K 
[ ]NoInvTick.con.types.xml.gz2004-04-08 18:13 84K 
[ ]NonZeno.con.body.xml.gz2004-04-08 18:13 230K 
[ ]NonZeno.con.types.xml.gz2004-04-08 18:13 349K 
Apache/2.4.61 (Debian) Server at mowgli.cs.unibo.it Port 80