| FDL Name | EventSystems_WebProjection_2006_09_14-PM-08_11_47 |
| Projection Id Path | /local/web_projection/web_projections/EventSystems_WebProjection_2006_09_14-PM-08_11_47 |
| Content,Presentation version code | 11,40 |
| Entry Point |
EventSystems theories. |
| Projector Version | 32 |
| DPSE Version | 302.1[4.2-91] |
| Projection Started at | Tue Sep 19 16:22:25 EDT 2006 |
| rock-paper-sissors | ERROR(non-fatal): cannot layout formula link for es_realizer_ind |
| rock-paper-sissors | ERROR(non-fatal): cannot layout formula link for es_realizer_ind_Reffect_compseq_tag_def |
| rock-paper-sissors | ERROR(non-fatal): cannot layout formula link for es_realizer_ind_Rplus_compseq_tag_def |
| rock-paper-sissors | ERROR(non-fatal): cannot layout formula link for es_realizer_ind_Rpre_compseq_tag_def |
| rock-paper-sissors | ERROR(non-fatal): cannot layout formula link for ecl_ind_eclbase_compseq_tag_def |
| rock-paper-sissors | ERROR(non-fatal): cannot layout formula link for ecl_ind_eclthrow_compseq_tag_def |
| rock-paper-sissors | ERROR(non-fatal): cannot layout formula link for ecl_ind_eclor_compseq_tag_def |
| rock-paper-sissors | ERROR(non-fatal): cannot layout formula link for ecl_ind_ecland_compseq_tag_def |
| rock-paper-sissors | ERROR(non-fatal): cannot layout formula link for ecl_ind_eclseq_compseq_tag_def |
| rock-paper-sissors | ERROR(non-fatal): cannot layout formula link for ecl_ind_eclrepeat_compseq_tag_def |
| rock-paper-sissors | ERROR(non-fatal): cannot layout formula link for ecl_ind_eclcatch_compseq_tag_def |
| rock-paper-sissors | ERROR(non-fatal): cannot layout formula link for ecl_ind_eclact_compseq_tag_def |
| ecl-precond-compatible | ERROR(non-fatal): cannot layout formula link for es_realizer_ind_Rsframe_compseq_tag_def |
| ecl-precond-compatible | ERROR(non-fatal): cannot layout formula link for es_realizer_ind_Rsends_compseq_tag_def |
| ecl-precond-compatible | ERROR(non-fatal): cannot layout formula link for es_realizer_ind_Reffect_compseq_tag_def |
| ecl-precond-compatible | ERROR(non-fatal): cannot layout formula link for es_realizer_ind |
| ecl-precond-compatible | ERROR(non-fatal): cannot layout formula link for es_realizer_ind_Rpre_compseq_tag_def |
| ecl-precond-compatible | ERROR(non-fatal): cannot layout formula link for es_realizer_ind_Rplus_compseq_tag_def |
| ecl-precond-compatible | ERROR(non-fatal): cannot layout formula link for es_realizer_ind_Rframe_compseq_tag_def |
| ecl-precond-compatible | ERROR(non-fatal): cannot layout formula link for es_realizer_ind_Rinit_compseq_tag_def |
| es realizer ind Rsframe compseq tag def | ERROR(non-fatal): cannot layout formula link for es_realizer_ind |
| es realizer ind Rsends compseq tag def | ERROR(non-fatal): cannot layout formula link for es_realizer_ind |
| es realizer ind Rpre compseq tag def | ERROR(non-fatal): cannot layout formula link for es_realizer_ind |
| esp-test | ERROR(non-fatal): cannot layout formula link for ecl_ind |
| esp-test | ERROR(non-fatal): cannot layout formula link for es_realizer_ind |
| ecl-realizes | ERROR(non-fatal): cannot layout formula link for ecl_ind_eclcatch_compseq_tag_def |
| ecl-realizes | ERROR(non-fatal): cannot layout formula link for ecl_ind_eclthrow_compseq_tag_def |
| ecl-realizes | ERROR(non-fatal): cannot layout formula link for ecl_ind_eclact_compseq_tag_def |
| ecl-realizes | ERROR(non-fatal): cannot layout formula link for ecl_ind_eclrepeat_compseq_tag_def |
| ecl-realizes | ERROR(non-fatal): cannot layout formula link for ecl_ind_eclor_compseq_tag_def |
| ecl-realizes | ERROR(non-fatal): cannot layout formula link for ecl_ind_ecland_compseq_tag_def |
| ecl-realizes | ERROR(non-fatal): cannot layout formula link for ecl_ind_eclseq_compseq_tag_def |
| ecl-realizes | ERROR(non-fatal): cannot layout formula link for ecl_ind_eclbase_compseq_tag_def |
| ecl-realizes | ERROR(non-fatal): cannot layout formula link for es_realizer_ind_Rplus_compseq_tag_def |
| ecl-realizes | ERROR(non-fatal): cannot layout formula link for es_realizer_ind |
| R-self-interface | ERROR(non-fatal): cannot layout formula link for es_realizer_ind |
| ecl-1-2-compat | ERROR(non-fatal): cannot layout formula link for es_realizer_ind_Rinit_compseq_tag_def |
| ecl-1-2-compat | ERROR(non-fatal): cannot layout formula link for es_realizer_ind_Rframe_compseq_tag_def |
| ecl-1-2-compat | ERROR(non-fatal): cannot layout formula link for es_realizer_ind |
| ecl-1-2-compat | ERROR(non-fatal): cannot layout formula link for es_realizer_ind_Reffect_compseq_tag_def |
| write-restricted | ERROR(non-fatal): cannot layout formula link for es_realizer_ind |
| R-occurs | ERROR(non-fatal): cannot layout formula link for es_realizer_ind |
| read-restricted | ERROR(non-fatal): cannot layout formula link for es_realizer_ind |
| es realizer ind Rframe compseq tag def | ERROR(non-fatal): cannot layout formula link for es_realizer_ind |
| es realizer ind Reffect compseq tag def | ERROR(non-fatal): cannot layout formula link for es_realizer_ind |
| es realizer ind Rplus compseq tag def | ERROR(non-fatal): cannot layout formula link for es_realizer_ind |
| ecl-es-act | ERROR(non-fatal): cannot layout formula link for ecl_ind |
| ecl-halt-ex | ERROR(non-fatal): cannot layout formula link for ecl_ind_eclbase_compseq_tag_def |
| ecl-halt-ex | ERROR(non-fatal): cannot layout formula link for ecl_ind_eclseq_compseq_tag_def |
| ecl-halt-ex | ERROR(non-fatal): cannot layout formula link for ecl_ind_ecland_compseq_tag_def |
| ecl-halt-ex | ERROR(non-fatal): cannot layout formula link for ecl_ind_eclor_compseq_tag_def |
| ecl-halt-ex | ERROR(non-fatal): cannot layout formula link for ecl_ind_eclrepeat_compseq_tag_def |
| ecl-halt-ex | ERROR(non-fatal): cannot layout formula link for ecl_ind_eclact_compseq_tag_def |
| ecl-halt-ex | ERROR(non-fatal): cannot layout formula link for ecl_ind_eclthrow_compseq_tag_def |
| ecl-halt-ex | ERROR(non-fatal): cannot layout formula link for ecl_ind_eclcatch_compseq_tag_def |
| ecl-ex wf | ERROR(non-fatal): cannot layout formula link for ecl_ind |
| ecl-es-halt | ERROR(non-fatal): cannot layout formula link for ecl_ind |
| ecl-ex | ERROR(non-fatal): cannot layout formula link for ecl_ind |
| ecl-halt wf | ERROR(non-fatal): cannot layout formula link for ecl_ind |
| ecl-halt-nil | ERROR(non-fatal): cannot layout formula link for ecl_ind_eclbase_compseq_tag_def |
| ecl-halt-nil | ERROR(non-fatal): cannot layout formula link for ecl_ind_eclseq_compseq_tag_def |
| ecl-halt-nil | ERROR(non-fatal): cannot layout formula link for ecl_ind_ecland_compseq_tag_def |
| ecl-halt-nil | ERROR(non-fatal): cannot layout formula link for ecl_ind_eclor_compseq_tag_def |
| ecl-halt-nil | ERROR(non-fatal): cannot layout formula link for ecl_ind_eclrepeat_compseq_tag_def |
| ecl-halt-nil | ERROR(non-fatal): cannot layout formula link for ecl_ind_eclact_compseq_tag_def |
| ecl-halt-nil | ERROR(non-fatal): cannot layout formula link for ecl_ind_eclthrow_compseq_tag_def |
| ecl-halt-nil | ERROR(non-fatal): cannot layout formula link for ecl_ind_eclcatch_compseq_tag_def |
| ecl ind eclbase compseq tag def | ERROR(non-fatal): cannot layout formula link for ecl_ind |
| ecl ind eclseq compseq tag def | ERROR(non-fatal): cannot layout formula link for ecl_ind |
| ecl ind ecland compseq tag def | ERROR(non-fatal): cannot layout formula link for ecl_ind |
| ecl ind eclor compseq tag def | ERROR(non-fatal): cannot layout formula link for ecl_ind |
| ecl ind eclrepeat compseq tag def | ERROR(non-fatal): cannot layout formula link for ecl_ind |
| ecl ind eclact compseq tag def | ERROR(non-fatal): cannot layout formula link for ecl_ind |
| ecl ind eclthrow compseq tag def | ERROR(non-fatal): cannot layout formula link for ecl_ind |
| ecl ind eclcatch compseq tag def | ERROR(non-fatal): cannot layout formula link for ecl_ind |
| ecl-halt | ERROR(non-fatal): cannot layout formula link for ecl_ind |
| ecl-act | ERROR(non-fatal): cannot layout formula link for ecl_ind |
| ecl ind wf | ERROR(non-fatal): cannot layout formula link for ecl_ind |
| ecl-trans | ERROR(non-fatal): cannot layout formula link for ecl_ind |
| ecl-kinds | ERROR(non-fatal): cannot layout formula link for ecl_ind |
| R-has-loc | ERROR(non-fatal): cannot layout formula link for es_realizer_ind |
| R-da | ERROR(non-fatal): cannot layout formula link for es_realizer_ind |
| R-init-rule | ERROR(non-fatal): cannot layout formula link for es_realizer_ind |
| R-init-rule | ERROR(non-fatal): cannot layout formula link for es_realizer_ind_Rinit_compseq_tag_def |
| es realizer ind Rinit compseq tag def | ERROR(non-fatal): cannot layout formula link for es_realizer_ind |
| Rplus? | ERROR(non-fatal): cannot layout formula link for es_realizer_ind |
| Rplus-left | ERROR(non-fatal): cannot layout formula link for es_realizer_ind |
| Rplus-right | ERROR(non-fatal): cannot layout formula link for es_realizer_ind |
| R-consistent | ERROR(non-fatal): cannot layout formula link for es_realizer_ind |
| es realizer ind wf | ERROR(non-fatal): cannot layout formula link for es_realizer_ind |
| R-size | ERROR(non-fatal): cannot layout formula link for es_realizer_ind |
| Rinit-T | ERROR(non-fatal): cannot layout formula link for es_realizer_ind |
| R-Feasible | ERROR(non-fatal): cannot layout formula link for es_realizer_ind |
| Rnone? | ERROR(non-fatal): cannot layout formula link for es_realizer_ind |
| R-loc | ERROR(non-fatal): cannot layout formula link for es_realizer_ind |
| Rds | ERROR(non-fatal): cannot layout formula link for es_realizer_ind |
| Rda | ERROR(non-fatal): cannot layout formula link for es_realizer_ind |
| Rframe? | ERROR(non-fatal): cannot layout formula link for es_realizer_ind |
| Rframe-x | ERROR(non-fatal): cannot layout formula link for es_realizer_ind |
| Rframe-L | ERROR(non-fatal): cannot layout formula link for es_realizer_ind |
| Raframe? | ERROR(non-fatal): cannot layout formula link for es_realizer_ind |
| Raframe-k | ERROR(non-fatal): cannot layout formula link for es_realizer_ind |
| Raframe-L | ERROR(non-fatal): cannot layout formula link for es_realizer_ind |
| Reffect-ds | ERROR(non-fatal): cannot layout formula link for es_realizer_ind |
| Rsframe? | ERROR(non-fatal): cannot layout formula link for es_realizer_ind |
| Rsframe-lnk | ERROR(non-fatal): cannot layout formula link for es_realizer_ind |
| Rsframe-tag | ERROR(non-fatal): cannot layout formula link for es_realizer_ind |
| Rsends-g | ERROR(non-fatal): cannot layout formula link for es_realizer_ind |
| Rsframe-L | ERROR(non-fatal): cannot layout formula link for es_realizer_ind |
| Rbframe? | ERROR(non-fatal): cannot layout formula link for es_realizer_ind |
| Rbframe-k | ERROR(non-fatal): cannot layout formula link for es_realizer_ind |
| Rbframe-L | ERROR(non-fatal): cannot layout formula link for es_realizer_ind |
| Rsends-ds | ERROR(non-fatal): cannot layout formula link for es_realizer_ind |
| Rpre? | ERROR(non-fatal): cannot layout formula link for es_realizer_ind |
| Rrframe? | ERROR(non-fatal): cannot layout formula link for es_realizer_ind |
| Rrframe-x | ERROR(non-fatal): cannot layout formula link for es_realizer_ind |
| Rpre-ds | ERROR(non-fatal): cannot layout formula link for es_realizer_ind |
| Rpre-a | ERROR(non-fatal): cannot layout formula link for es_realizer_ind |
| Rrframe-L | ERROR(non-fatal): cannot layout formula link for es_realizer_ind |
| Reffect-x | ERROR(non-fatal): cannot layout formula link for es_realizer_ind |
| Reffect-f | ERROR(non-fatal): cannot layout formula link for es_realizer_ind |
| Rinit? | ERROR(non-fatal): cannot layout formula link for es_realizer_ind |
| Rinit-x | ERROR(non-fatal): cannot layout formula link for es_realizer_ind |
| Rinit-v | ERROR(non-fatal): cannot layout formula link for es_realizer_ind |
| Reffect? | ERROR(non-fatal): cannot layout formula link for es_realizer_ind |
| Reffect-knd | ERROR(non-fatal): cannot layout formula link for es_realizer_ind |
| Reffect-T | ERROR(non-fatal): cannot layout formula link for es_realizer_ind |
| Rsends? | ERROR(non-fatal): cannot layout formula link for es_realizer_ind |
| Rsends-knd | ERROR(non-fatal): cannot layout formula link for es_realizer_ind |
| Rsends-l | ERROR(non-fatal): cannot layout formula link for es_realizer_ind |
| Rsends-dt | ERROR(non-fatal): cannot layout formula link for es_realizer_ind |
| Rsends-T | ERROR(non-fatal): cannot layout formula link for es_realizer_ind |
| f-free-stability | ERROR(non-fatal): cannot layout formula link for fischer |
| f-free-stability | ERROR(non-fatal): cannot layout formula link for fischer-delay |
| !hyp_hide [no URL] | www_URL failed |
| f-same-sender | ERROR(non-fatal): cannot layout formula link for fischer |
| f-same-sender | ERROR(non-fatal): cannot layout formula link for fischer-delay |
| fischer-delay wf | ERROR(non-fatal): cannot layout formula link for fischer |
| fischer-delay wf | ERROR(non-fatal): cannot layout formula link for fischer-delay |
| fischer-inv wf | ERROR(non-fatal): cannot layout formula link for fischer |
| fischer-inv wf | ERROR(non-fatal): cannot layout formula link for fischer-inv |
| taken-transition | ERROR(non-fatal): cannot layout formula link for fischer |
| newround-implies | ERROR(non-fatal): cannot layout formula link for fischer |
| fischer wf | ERROR(non-fatal): cannot layout formula link for fischer |
| f-event wf | ERROR(non-fatal): cannot layout formula link for fischer |