Index of /xml/Rocq/COC/Machine

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]transl_ty_error.con.types.xml.gz2004-04-08 14:37 543K 
[ ]transl_ty_error.con.body.xml.gz2004-04-08 14:37 365K 
[ ]trans_error_no_confusion.con.types.xml.gz2004-04-08 14:36 57K 
[ ]synth_deterministic.con.types.xml.gz2004-04-08 14:36 56K 
[ ]synth_no_confusion.con.types.xml.gz2004-04-08 14:36 51K 
[ ]synth_no_confusion.con.body.xml.gz2004-04-08 14:36 46K 
[ ]trans_error_no_confusion.con.body.xml.gz2004-04-08 14:36 44K 
[ ]synth_deterministic.con.body.xml.gz2004-04-08 14:36 40K 
[ ]transl_message.con.types.xml.gz2004-04-08 14:36 21K 
[ ]transl_message.con.body.xml.gz2004-04-08 14:36 20K 
[ ]interp_ast.con.body.xml.gz2004-04-08 14:37 18K 
[ ]interp_ast.con.types.xml.gz2004-04-08 14:37 14K 
[ ]exec_delete.con.body.xml.gz2004-04-08 14:36 13K 
[ ]synthesis.con.body.xml.gz2004-04-08 14:36 13K 
[ ]exec_delete.con.types.xml.gz2004-04-08 14:36 9.5K 
[ ]exec_axiom.con.body.xml.gz2004-04-08 14:36 7.7K 
[ ]transl_type_error_ind.con.types.xml.gz2004-04-08 14:36 5.6K 
[ ]transl_type_error_ind.con.body.xml.gz2004-04-08 14:36 5.1K 
[ ]INDEX2005-07-05 08:12 4.0K 
[ ]exec_axiom.con.types.xml.gz2004-04-08 14:36 3.9K 
[ ]exec_infer.con.body.xml.gz2004-04-08 14:36 3.8K 
[ ]empty_state.con.types.xml.gz2004-04-08 14:36 3.7K 
[ ]empty_state.con.body.xml.gz2004-04-08 14:36 3.7K 
[ ]exec_check.con.body.xml.gz2004-04-08 14:36 3.3K 
[ ]transl_type_error_ind.con.xml.gz2004-04-08 14:36 2.6K 
[ ]transl_type_error.ind.xml.gz2004-04-08 14:36 2.4K 
[ ]transl_error.con.body.xml.gz2004-04-08 14:37 2.2K 
[ ]top_trans_error_no_confusion.con.body.xml.gz2004-04-08 14:36 2.1K 
[ ]interp_command.con.body.xml.gz2004-04-08 14:36 2.0K 
[ ]transition_ind.con.body.xml.gz2004-04-08 14:36 2.0K 
[ ]ptype_error_rect.con.body.xml.gz2004-04-08 14:36 1.9K 
[ ]com_error_ind.con.body.xml.gz2004-04-08 14:36 1.7K 
[ ]transition_ind.con.types.xml.gz2004-04-08 14:36 1.7K 
[ ]ptype_error_ind.con.types.xml.gz2004-04-08 14:36 1.7K 
[ ]transition_ind.con.xml.gz2004-04-08 14:36 1.6K 
[ ]transition.ind.xml.gz2004-04-08 14:36 1.6K 
[ ]synthesis_trans_ind.con.body.xml.gz2004-04-08 14:36 1.6K 
[ ]com_error_ind.con.types.xml.gz2004-04-08 14:36 1.5K 
[ ]com_error_ind.con.xml.gz2004-04-08 14:36 1.5K 
[ ]com_error.ind.xml.gz2004-04-08 14:36 1.5K 
[ ]top_trans_error_no_confusion.con.types.xml.gz2004-04-08 14:36 1.4K 
[ ]glob_length.con.types.xml.gz2004-04-08 14:36 1.4K 
[ ]synthesis_trans_ind.con.types.xml.gz2004-04-08 14:36 1.3K 
[ ]transl_msg_ind.con.body.xml.gz2004-04-08 14:36 1.3K 
[ ]synthesis_trans_ind.con.xml.gz2004-04-08 14:36 1.3K 
[ ]synthesis_trans.ind.xml.gz2004-04-08 14:36 1.2K 
[ ]synthesis.con.types.xml.gz2004-04-08 14:36 1.2K 
[ ]synth_error_ind.con.body.xml.gz2004-04-08 14:36 1.1K 
[ ]transl_msg_ind.con.types.xml.gz2004-04-08 14:36 1.1K 
[ ]state_ind.con.types.xml.gz2004-04-08 14:36 1.1K 
[ ]state_ext_ind.con.types.xml.gz2004-04-08 14:36 1.1K 
[ ]transl_err_ind.con.body.xml.gz2004-04-08 14:36 1.1K 
[ ]ptype_error_ind.con.xml.gz2004-04-08 14:36 1.1K 
[ ]ptype_error_rect.con.xml.gz2004-04-08 14:36 1.1K 
[ ]transl_msg.ind.xml.gz2004-04-08 14:36 1.1K 
[ ]ptype_error_rec.con.xml.gz2004-04-08 14:36 1.1K 
[ ]cons_names.con.types.xml.gz2004-04-08 14:36 1.1K 
[ ]cons_env.con.types.xml.gz2004-04-08 14:36 1.1K 
[ ]expr_of_ast_ind.con.body.xml.gz2004-04-08 14:36 1.1K 
[ ]cons_env.con.body.xml.gz2004-04-08 14:36 1.0K 
[ ]cons_names.con.body.xml.gz2004-04-08 14:36 1.0K 
[ ]transl_msg_ind.con.xml.gz2004-04-08 14:36 1.0K 
[ ]command_ind.con.types.xml.gz2004-04-08 14:36 1.0K 
[ ]ast_ind.con.types.xml.gz2004-04-08 14:36 1.0K 
[ ]glob_unique.con.types.xml.gz2004-04-08 14:36 1.0K 
[ ]glob_wf_ctx.con.types.xml.gz2004-04-08 14:36 1.0K 
[ ]synth_error_ind.con.types.xml.gz2004-04-08 14:36 1.0K 
[ ]state_rect.con.body.xml.gz2004-04-08 14:36 1.0K 
[ ]interp_command.con.types.xml.gz2004-04-08 14:36 1.0K 
[ ]pmessage_ind.con.types.xml.gz2004-04-08 14:36 1.0K 
[ ]message_ind.con.types.xml.gz2004-04-08 14:36 1.0K 
[ ]state_ext_rect.con.body.xml.gz2004-04-08 14:36 967  
[ ]pmessage_rect.con.body.xml.gz2004-04-08 14:36 963  
[ ]command_rect.con.body.xml.gz2004-04-08 14:36 962  
[ ]message_rect.con.body.xml.gz2004-04-08 14:36 960  
[ ]synth_error_ind.con.xml.gz2004-04-08 14:36 957  
[ ]ast_rect.con.body.xml.gz2004-04-08 14:36 954  
[ ]exec_infer.con.types.xml.gz2004-04-08 14:36 949  
[ ]exec_check.con.types.xml.gz2004-04-08 14:36 947  
[ ]glob_length.con.body.xml.gz2004-04-08 14:36 946  
[ ]transl_err_ind.con.types.xml.gz2004-04-08 14:36 944  
[ ]expr_of_ast_ind.con.types.xml.gz2004-04-08 14:36 910  
[ ]state_ext.ind.xml.gz2004-04-08 14:36 904  
[ ]transl_err_ind.con.xml.gz2004-04-08 14:36 881  
[ ]top_error_ind.con.body.xml.gz2004-04-08 14:36 878  
[ ]synth_error.ind.xml.gz2004-04-08 14:36 872  
[ ]state_rect.con.xml.gz2004-04-08 14:36 869  
[ ]glob_unique.con.body.xml.gz2004-04-08 14:36 869  
[ ]state_rec.con.xml.gz2004-04-08 14:36 868  
[ ]state_ind.con.xml.gz2004-04-08 14:36 868  
[ ]glob_wf_ctx.con.body.xml.gz2004-04-08 14:36 868  
[ ]com_answer.con.body.xml.gz2004-04-08 14:36 861  
[ ]answer.con.body.xml.gz2004-04-08 14:36 854  
[ ]state_ext_rect.con.xml.gz2004-04-08 14:36 853  
[ ]expr_of_ast_ind.con.xml.gz2004-04-08 14:36 850  
[ ]state_ext_rec.con.xml.gz2004-04-08 14:36 846  
[ ]state_ext_ind.con.xml.gz2004-04-08 14:36 845  
[ ]transl_err.ind.xml.gz2004-04-08 14:36 842  
[ ]perror_rect.con.body.xml.gz2004-04-08 14:36 842  
[ ]top_trans_ind.con.body.xml.gz2004-04-08 14:36 837  
[ ]perror_ind.con.types.xml.gz2004-04-08 14:36 835  
[ ]glob_names.con.body.xml.gz2004-04-08 14:36 812  
[ ]top_error.ind.xml.gz2004-04-08 14:36 810  
[ ]glob_ctx.con.body.xml.gz2004-04-08 14:36 808  
[ ]top_error_ind.con.types.xml.gz2004-04-08 14:36 782  
[ ]error_ind.con.types.xml.gz2004-04-08 14:36 779  
[ ]error_rect.con.body.xml.gz2004-04-08 14:36 775  
[ ]top_trans_ind.con.types.xml.gz2004-04-08 14:36 750  
[ ]command_ind.con.xml.gz2004-04-08 14:36 741  
[ ]top_trans.ind.xml.gz2004-04-08 14:36 737  
[ ]top_error_ind.con.xml.gz2004-04-08 14:36 736  
[ ]command_rect.con.xml.gz2004-04-08 14:36 736  
[ ]command_rec.con.xml.gz2004-04-08 14:36 736  
[ ]ast_ind.con.xml.gz2004-04-08 14:36 734  
[ ]ast_rect.con.xml.gz2004-04-08 14:36 730  
[ ]ast_rec.con.xml.gz2004-04-08 14:36 730  
[ ]expr_of_ast.ind.xml.gz2004-04-08 14:36 723  
[ ]state.ind.xml.gz2004-04-08 14:36 720  
[ ]pmessage_ind.con.xml.gz2004-04-08 14:36 719  
[ ]message_ind.con.xml.gz2004-04-08 14:36 717  
[ ]pmessage_rect.con.xml.gz2004-04-08 14:36 714  
[ ]pmessage_rec.con.xml.gz2004-04-08 14:36 714  
[ ]message_rec.con.xml.gz2004-04-08 14:36 714  
[ ]message_rect.con.xml.gz2004-04-08 14:36 713  
[ ]top_trans_ind.con.xml.gz2004-04-08 14:36 712  
[ ]transl_error.con.xml.gz2004-04-08 14:37 684  
[ ]transl_error.con.types.xml.gz2004-04-08 14:37 677  
[ ]cons_names.con.xml.gz2004-04-08 14:36 656  
[ ]cons_env.con.xml.gz2004-04-08 14:36 656  
[ ]transl_message.con.xml.gz2004-04-08 14:36 654  
[ ]perror_ind.con.xml.gz2004-04-08 14:36 644  
[ ]ptype_error.ind.xml.gz2004-04-08 14:36 640  
[ ]perror_rect.con.xml.gz2004-04-08 14:36 640  
[ ]perror_rec.con.xml.gz2004-04-08 14:36 638  
[ ]transl_ty_error.con.xml.gz2004-04-08 14:37 599  
[ ]error_ind.con.xml.gz2004-04-08 14:36 598  
[ ]error_rect.con.xml.gz2004-04-08 14:36 597  
[ ]error_rec.con.xml.gz2004-04-08 14:36 596  
[ ]synth_answer.con.body.xml.gz2004-04-08 14:36 592  
[ ]top_trans_error_no_confusion.con.xml.gz2004-04-08 14:36 567  
[ ]trans_error_no_confusion.con.xml.gz2004-04-08 14:36 559  
[ ]synth_deterministic.con.xml.gz2004-04-08 14:36 550  
[ ]glob_length.con.xml.gz2004-04-08 14:36 550  
[ ]synth_no_confusion.con.xml.gz2004-04-08 14:36 533  
[ ]state_ext_ind.con.body.xml.gz2004-04-08 14:36 516  
[ ]pmessage.ind.xml.gz2004-04-08 14:36 508  
[ ]state_ext_rec.con.body.xml.gz2004-04-08 14:36 507  
[ ]message.ind.xml.gz2004-04-08 14:36 503  
[ ]ast.ind.xml.gz2004-04-08 14:36 483  
[ ]command.ind.xml.gz2004-04-08 14:36 481  
[ ]exec_axiom.con.xml.gz2004-04-08 14:36 476  
[ ]exec_check.con.xml.gz2004-04-08 14:36 470  
[ ]perror.ind.xml.gz2004-04-08 14:36 467  
[ ]exec_infer.con.xml.gz2004-04-08 14:36 442  
[ ]error.ind.xml.gz2004-04-08 14:36 434  
[ ]ptype_error_ind.con.body.xml.gz2004-04-08 14:36 421  
[ ]ptype_error_rec.con.body.xml.gz2004-04-08 14:36 418  
[ ]pmessage_ind.con.body.xml.gz2004-04-08 14:36 416  
[ ]command_ind.con.body.xml.gz2004-04-08 14:36 416  
[ ]message_ind.con.body.xml.gz2004-04-08 14:36 414  
[ ]pmessage_rec.con.body.xml.gz2004-04-08 14:36 413  
[ ]perror_ind.con.body.xml.gz2004-04-08 14:36 412  
[ ]message_rec.con.body.xml.gz2004-04-08 14:36 412  
[ ]command_rec.con.body.xml.gz2004-04-08 14:36 412  
[ ]state_ind.con.body.xml.gz2004-04-08 14:36 410  
[ ]error_ind.con.body.xml.gz2004-04-08 14:36 410  
[ ]perror_rec.con.body.xml.gz2004-04-08 14:36 409  
[ ]ast_ind.con.body.xml.gz2004-04-08 14:36 408  
[ ]error_rec.con.body.xml.gz2004-04-08 14:36 407  
[ ]state_rec.con.body.xml.gz2004-04-08 14:36 406  
[ ]ast_rec.con.body.xml.gz2004-04-08 14:36 405  
[ ]interp_command.con.xml.gz2004-04-08 14:36 401  
[ ]glob_unique.con.xml.gz2004-04-08 14:36 399  
[ ]synthesis.con.xml.gz2004-04-08 14:36 395  
[ ]exec_delete.con.xml.gz2004-04-08 14:36 395  
[ ]interp_ast.con.xml.gz2004-04-08 14:37 394  
[ ]glob_wf_ctx.con.xml.gz2004-04-08 14:36 393  
[ ]synth_answer.con.xml.gz2004-04-08 14:36 317  
[ ]com_answer.con.xml.gz2004-04-08 14:36 316  
[ ]glob_names.con.xml.gz2004-04-08 14:36 311  
[ ]glob_ctx.con.xml.gz2004-04-08 14:36 305  
[ ]answer.con.xml.gz2004-04-08 14:36 305  
[ ]empty_state.con.xml.gz2004-04-08 14:36 241  
[ ]transl_type_error.ind.types.xml.gz2004-04-08 14:36 210  
[ ]ptype_error_rect.con.types.xml.gz2004-04-08 14:36 209  
[ ]synthesis_trans.ind.types.xml.gz2004-04-08 14:36 208  
[ ]state_ext_rect.con.types.xml.gz2004-04-08 14:36 207  
[ ]ptype_error_rec.con.types.xml.gz2004-04-08 14:36 207  
[ ]state_ext_rec.con.types.xml.gz2004-04-08 14:36 205  
[ ]pmessage_rect.con.types.xml.gz2004-04-08 14:36 205  
[ ]synth_answer.con.types.xml.gz2004-04-08 14:36 204  
[ ]pmessage_rec.con.types.xml.gz2004-04-08 14:36 204  
[ ]message_rect.con.types.xml.gz2004-04-08 14:36 204  
[ ]command_rect.con.types.xml.gz2004-04-08 14:36 203  
[ ]synth_error.ind.types.xml.gz2004-04-08 14:36 202  
[ ]perror_rect.con.types.xml.gz2004-04-08 14:36 202  
[ ]message_rec.con.types.xml.gz2004-04-08 14:36 202  
[ ]expr_of_ast.ind.types.xml.gz2004-04-08 14:36 202  
[ ]command_rec.con.types.xml.gz2004-04-08 14:36 202  
[ ]transl_msg.ind.types.xml.gz2004-04-08 14:36 200  
[ ]transl_err.ind.types.xml.gz2004-04-08 14:36 200  
[ ]state_rect.con.types.xml.gz2004-04-08 14:36 200  
[ ]ptype_error.ind.types.xml.gz2004-04-08 14:36 200  
[ ]perror_rec.con.types.xml.gz2004-04-08 14:36 200  
[ ]glob_names.con.types.xml.gz2004-04-08 14:36 200  
[ ]error_rect.con.types.xml.gz2004-04-08 14:36 200  
[ ]com_answer.con.types.xml.gz2004-04-08 14:36 200  
[ ]transition.ind.types.xml.gz2004-04-08 14:36 199  
[ ]state_rec.con.types.xml.gz2004-04-08 14:36 199  
[ ]top_trans.ind.types.xml.gz2004-04-08 14:36 198  
[ ]top_error.ind.types.xml.gz2004-04-08 14:36 198  
[ ]state_ext.ind.types.xml.gz2004-04-08 14:36 198  
[ ]error_rec.con.types.xml.gz2004-04-08 14:36 198  
[ ]com_error.ind.types.xml.gz2004-04-08 14:36 198  
[ ]glob_ctx.con.types.xml.gz2004-04-08 14:36 197  
[ ]ast_rect.con.types.xml.gz2004-04-08 14:36 197  
[ ]pmessage.ind.types.xml.gz2004-04-08 14:36 195  
[ ]ast_rec.con.types.xml.gz2004-04-08 14:36 195  
[ ]message.ind.types.xml.gz2004-04-08 14:36 194  
[ ]command.ind.types.xml.gz2004-04-08 14:36 194  
[ ]answer.con.types.xml.gz2004-04-08 14:36 193  
[ ]perror.ind.types.xml.gz2004-04-08 14:36 192  
[ ]state.ind.types.xml.gz2004-04-08 14:36 190  
[ ]error.ind.types.xml.gz2004-04-08 14:36 190  
[ ]ast.ind.types.xml.gz2004-04-08 14:36 187  
Apache/2.4.62 (Debian) Server at mowgli.cs.unibo.it Port 80