| FDL Name | EventSystems_WebReProjection_2006_09_28-PM-04_36_57 |
| Projection Id Path | /local/web_projection/web_projections/EventSystems_WebReProjection_2006_09_28-PM-04_36_57 |
| Content,Presentation version code | 13,42 |
| Entry Point |
EventSystems theories. |
| Projector Version | 32 |
| DPSE Version | 306.1[4.2-91] |
| Projection Started at | Fri Sep 29 20:10:57 EDT 2006 |
| max ideal p | wwwml_refsfromob failed:wwwml_refsfromob:wwwml_FullContent:fdl_www_FullContent:FDLNOr18116- API0 Bad result. Eval API0_last_bad_result(). |
| princ ideal | wwwml_refsfromob failed:wwwml_refsfromob:wwwml_FullContent:fdl_www_FullContent:FDLNOr18098- fdl_eval failed. See fdl_eval_failure_msg |
| sqequal_1_begin [no URL] | www_URL failed |
| sqequal_com [no URL] | www_URL failed |
| sq_type_com [no URL] | www_URL failed |
| case_ite_com [no URL] | www_URL failed |
| sqequal_1_end [no URL] | www_URL failed |
| nat inc | wwwml_refsfromob failed:wwwml_refsfromob:wwwml_FullContent:fdl_www_FullContent:FDLNOr11947- fdl_eval failed. See fdl_eval_failure_msg |
| mon nat op | wwwml_refsfromob failed:wwwml_refsfromob:wwwml_FullContent:fdl_www_FullContent:FDLNOr11937- fdl_eval failed. See fdl_eval_failure_msg |
| int_2_begin [no URL] | www_URL failed |
| int_2_summary [no URL] | www_URL failed |
| int_2_intro [no URL] | www_URL failed |
| mul_fun_comment [no URL] | www_URL failed |
| add_nat_wf_com [no URL] | www_URL failed |
| quasi_lin_com [no URL] | www_URL failed |
| div_rem_com [no URL] | www_URL failed |
| quadrants_com [no URL] | www_URL failed |
| int_2_end [no URL] | www_URL failed |
| fun_1_begin [no URL] | www_URL failed |
| fun_1_summary [no URL] | www_URL failed |
| fun_1_intro [no URL] | www_URL failed |
| fun_1_end [no URL] | www_URL failed |
| well_fnd_begin [no URL] | www_URL failed |
| well_fnd_summary [no URL] | www_URL failed |
| well_fnd_intro [no URL] | www_URL failed |
| INV_IMAGE_com [no URL] | www_URL failed |
| WFND_FUNCTIONALITY_tcom [no URL] | www_URL failed |
| well_fnd_end [no URL] | www_URL failed |
| int_1_begin [no URL] | www_URL failed |
| int_1_summary [no URL] | www_URL failed |
| int_1_intro [no URL] | www_URL failed |
| INT_DEFS_acom [no URL] | www_URL failed |
| ge_gt_wf_com [no URL] | www_URL failed |
| INT_INCLUSIONS_tcom [no URL] | www_URL failed |
| INDUCTION_tcom [no URL] | www_URL failed |
| OLD_INDUCTION [no URL] | www_URL failed |
| int_1_end [no URL] | www_URL failed |
| bool_1_begin [no URL] | www_URL failed |
| bool_1_summary [no URL] | www_URL failed |
| bool_1_intro [no URL] | www_URL failed |
| BOOL_DEFS [no URL] | www_URL failed |
| bool_thms [no URL] | www_URL failed |
| bool_tactics_1 [no URL] | www_URL failed |
| assert_com [no URL] | www_URL failed |
| assert_eqint_rw [no URL] | www_URL failed |
| bool_tactics [no URL] | www_URL failed |
| old_bool_1_stuff [no URL] | www_URL failed |
| bool_1_end [no URL] | www_URL failed |
| rel_1_begin [no URL] | www_URL failed |
| rel_1_summary [no URL] | www_URL failed |
| rel_1_intro [no URL] | www_URL failed |
| binrel_com [no URL] | www_URL failed |
| symmetrize_com [no URL] | www_URL failed |
| equiv_rel_self_fun_com [no URL] | www_URL failed |
| rel_1_end [no URL] | www_URL failed |
| quot_1_begin [no URL] | www_URL failed |
| quot_1_summary [no URL] | www_URL failed |
| quot_1_intro [no URL] | www_URL failed |
| quot_1_end [no URL] | www_URL failed |
| core_2_begin [no URL] | www_URL failed |
| core_2_summary [no URL] | www_URL failed |
| Core_2 abstractions [no URL] | www_URL failed |
| CORE_WF_THEOREMS [no URL] | www_URL failed |
| COMBS_acom [no URL] | www_URL failed |
| PRODUCT_DEFS_acom [no URL] | www_URL failed |
| UNIT_DEFS_acom [no URL] | www_URL failed |
| CONSTR_PROPERTIES_com [no URL] | www_URL failed |
| sq_stable_iff_stable [no URL] | www_URL failed |
| LOGIC_THMS_tcom [no URL] | www_URL failed |
| EQUALITY_THMS_tcom [no URL] | www_URL failed |
| REWRITE_SUPPORT_tcom [no URL] | www_URL failed |
| GENERALIZATION_tcom [no URL] | www_URL failed |
| MISC_DEFS_com [no URL] | www_URL failed |
| type_inj_acom [no URL] | www_URL failed |
| choicef_com [no URL] | www_URL failed |
| core_2_end [no URL] | www_URL failed |
| core_1_begin [no URL] | www_URL failed |
| core_1_summary [no URL] | www_URL failed |
| core_1_intro [no URL] | www_URL failed |
| graphic chars A0-AF [no URL] | www_URL failed |
| EndExtendedTermDForms [no URL] | www_URL failed |
| prec_com [no URL] | www_URL failed |
| PRIM_DISPS [no URL] | www_URL failed |
| LOGIC_ABS1 [no URL] | www_URL failed |
| INT_ABS1 [no URL] | www_URL failed |
| subtype_com [no URL] | www_URL failed |
| core_1_end [no URL] | www_URL failed |
| Tactics as terms | ERROR(non-fatal): cannot layout formula link for Branch2 |
| Tactics as terms | ERROR(non-fatal): cannot layout formula link for Branch3 |