Index of /proof/hol-interactive-theorem-prover/kananaskis-12-helpdocs/help/Docfiles/
../
HTML/ 08-Feb-2022 09:55 -
Abbrev.conv.txt 20-Jun-2018 01:02 878
Arith.ARITH_FORM_NORM_CONV.txt 20-Jun-2018 01:02 1958
Arith.COND_ELIM_CONV.txt 20-Jun-2018 01:02 1314
Arith.DISJ_INEQS_FALSE_CONV.txt 20-Jun-2018 01:02 1520
Arith.EXISTS_ARITH_CONV.txt 20-Jun-2018 01:02 1775
Arith.FORALL_ARITH_CONV.txt 20-Jun-2018 01:02 2107
Arith.INSTANCE_T_CONV.txt 20-Jun-2018 01:02 1640
Arith.NEGATE_CONV.txt 20-Jun-2018 01:02 957
Arith.PRENEX_CONV.txt 20-Jun-2018 01:02 1238
Arith.SUB_AND_COND_ELIM_CONV.txt 20-Jun-2018 01:02 2370
Arith.is_prenex.txt 20-Jun-2018 01:02 965
Arith.is_presburger.txt 20-Jun-2018 01:02 1774
Arith.non_presburger_subterms.txt 20-Jun-2018 01:02 1726
BasicProvers.Abbr.txt 20-Jun-2018 01:02 1503
BasicProvers.CASE_TAC.txt 20-Jun-2018 01:02 1063
BasicProvers.Cases.txt 20-Jun-2018 01:02 461
BasicProvers.Cases_on.txt 20-Jun-2018 01:02 480
BasicProvers.Induct.txt 20-Jun-2018 01:02 463
BasicProvers.Induct_on.txt 20-Jun-2018 01:02 454
BasicProvers.PROVE.txt 20-Jun-2018 01:02 460
BasicProvers.PROVE_TAC.txt 20-Jun-2018 01:02 483
BasicProvers.PURE_CASE_TAC.txt 20-Jun-2018 01:02 772
BasicProvers.RW_TAC.txt 20-Jun-2018 01:02 506
BasicProvers.SRW_TAC.txt 20-Jun-2018 01:02 483
BasicProvers.VAR_EQ_TAC.txt 20-Jun-2018 01:02 865
BasicProvers.amper2.txt 20-Jun-2018 01:02 463
BasicProvers.augment_srw_ss.txt 20-Jun-2018 01:02 562
BasicProvers.bool_ss.txt 20-Jun-2018 01:02 528
BasicProvers.diminish_srw_ss.txt 20-Jun-2018 01:02 1968
BasicProvers.export_rewrites.txt 20-Jun-2018 01:02 1873
BasicProvers.srw_ss.txt 20-Jun-2018 01:02 431
BasicProvers.thy_ssfrag.txt 20-Jun-2018 01:02 644
BoundedRewrites.Ntimes.txt 20-Jun-2018 01:02 1798
BoundedRewrites.Once.txt 20-Jun-2018 01:02 1745
Cond_rewrite.COND_REWRITE1_CONV.txt 20-Jun-2018 01:02 2539
Cond_rewrite.COND_REWRITE1_TAC.txt 20-Jun-2018 01:02 2350
Cond_rewrite.COND_REWR_CANON.txt 20-Jun-2018 01:02 1776
Cond_rewrite.COND_REWR_CONV.txt 20-Jun-2018 01:02 3287
Cond_rewrite.COND_REWR_TAC.txt 20-Jun-2018 01:02 5435
Cond_rewrite.search_top_down.txt 20-Jun-2018 01:02 2155
ConseqConv.CHANGED_CONSEQ_CONV.txt 20-Jun-2018 01:02 842
ConseqConv.CONSEQ_CONV_TAC.txt 20-Jun-2018 01:02 555
ConseqConv.CONSEQ_CONV_direction.txt 20-Jun-2018 01:02 898
ConseqConv.CONSEQ_REWRITE_CONV.txt 20-Jun-2018 01:02 1455
ConseqConv.CONSEQ_TOP_REWRITE_CONV.txt 20-Jun-2018 01:02 1840
ConseqConv.DEPTH_CONSEQ_CONV.txt 20-Jun-2018 01:02 2026
ConseqConv.DEPTH_STRENGTHEN_CONSEQ_CONV.txt 20-Jun-2018 01:02 865
ConseqConv.EVERY_CONSEQ_CONV.txt 20-Jun-2018 01:02 488
ConseqConv.EXISTS_CONSEQ_CONV.txt 20-Jun-2018 01:02 927
ConseqConv.EXISTS_EQ___CONSEQ_CONV.txt 20-Jun-2018 01:02 515
ConseqConv.EXISTS_INTRO_IMP.txt 20-Jun-2018 01:02 1277
ConseqConv.EXT_CONSEQ_REWRITE_CONV.txt 20-Jun-2018 01:02 1271
ConseqConv.EXT_DEPTH_CONSEQ_CONV.txt 20-Jun-2018 01:02 3252
ConseqConv.FALSE_CONSEQ_CONV.txt 20-Jun-2018 01:02 528
ConseqConv.FIRST_CONSEQ_CONV.txt 20-Jun-2018 01:02 472
ConseqConv.FORALL_CONSEQ_CONV.txt 20-Jun-2018 01:02 915
ConseqConv.FORALL_EQ___CONSEQ_CONV.txt 20-Jun-2018 01:02 515
ConseqConv.GEN_ASSUM.txt 20-Jun-2018 01:02 1004
ConseqConv.GEN_IMP.txt 20-Jun-2018 01:02 1228
ConseqConv.NUM_DEPTH_CONSEQ_CONV.txt 20-Jun-2018 01:02 740
ConseqConv.ONCE_DEPTH_CONSEQ_CONV.txt 20-Jun-2018 01:02 689
ConseqConv.ORELSE_CONSEQ_CONV.txt 20-Jun-2018 01:02 477
ConseqConv.QCHANGED_CONSEQ_CONV.txt 20-Jun-2018 01:02 491
ConseqConv.QUANT_CONSEQ_CONV.txt 20-Jun-2018 01:02 529
ConseqConv.REDEPTH_CONSEQ_CONV.txt 20-Jun-2018 01:02 465
ConseqConv.REFL_CONSEQ_CONV.txt 20-Jun-2018 01:02 548
ConseqConv.SPEC_ALL_TAC.txt 20-Jun-2018 01:02 993
ConseqConv.STRENGTHEN_CONSEQ_CONV_RULE.txt 20-Jun-2018 01:02 730
ConseqConv.THEN_CONSEQ_CONV.txt 20-Jun-2018 01:02 1249
ConseqConv.TRUE_CONSEQ_CONV.txt 20-Jun-2018 01:02 528
ConseqConv.TRUE_FALSE_REFL_CONSEQ_CONV.txt 20-Jun-2018 01:02 717
ConseqConv.WEAKEN_CONSEQ_CONV_RULE.txt 20-Jun-2018 01:02 720
ConseqConv.conseq_conv.txt 20-Jun-2018 01:02 1250
ConseqConv.directed_conseq_conv.txt 20-Jun-2018 01:02 653
Conv.ABS_CONV.txt 20-Jun-2018 01:02 1263
Conv.AC_CONV.txt 20-Jun-2018 01:02 1591
Conv.ALL_CONV.txt 20-Jun-2018 01:02 692
Conv.AND_EXISTS_CONV.txt 20-Jun-2018 01:02 1043
Conv.AND_FORALL_CONV.txt 20-Jun-2018 01:02 816
Conv.ANTE_CONJ_CONV.txt 20-Jun-2018 01:02 936
Conv.BETA_RULE.txt 20-Jun-2018 01:02 1277
Conv.BINDER_CONV.txt 20-Jun-2018 01:02 1002
Conv.BINOP_CONV.txt 20-Jun-2018 01:02 1174
Conv.CHANGED_CONV.txt 20-Jun-2018 01:02 1939
Conv.COMB2_CONV.txt 20-Jun-2018 01:02 1420
Conv.COMB_CONV.txt 20-Jun-2018 01:02 1165
Conv.COND_CONV.txt 20-Jun-2018 01:02 869
Conv.CONTRAPOS_CONV.txt 20-Jun-2018 01:02 662
Conv.CONV_RULE.txt 20-Jun-2018 01:02 1399
Conv.DEPTH_CONV.txt 20-Jun-2018 01:02 3120
Conv.EVERY_CONJ_CONV.txt 20-Jun-2018 01:02 1979
Conv.EVERY_CONV.txt 20-Jun-2018 01:02 1167
Conv.EVERY_DISJ_CONV.txt 20-Jun-2018 01:02 2083
Conv.EXISTENCE.txt 20-Jun-2018 01:02 770
Conv.EXISTS_AND_CONV.txt 20-Jun-2018 01:02 1275
Conv.EXISTS_AND_REORDER_CONV.txt 20-Jun-2018 01:02 1504
Conv.EXISTS_IMP_CONV.txt 20-Jun-2018 01:02 1233
Conv.EXISTS_NOT_CONV.txt 20-Jun-2018 01:02 712
Conv.EXISTS_OR_CONV.txt 20-Jun-2018 01:02 747
Conv.EXISTS_UNIQUE_CONV.txt 20-Jun-2018 01:02 1231
Conv.FIRST_CONV.txt 20-Jun-2018 01:02 872
Conv.FORALL_AND_CONV.txt 20-Jun-2018 01:02 747
Conv.FORALL_IMP_CONV.txt 20-Jun-2018 01:02 1228
Conv.FORALL_NOT_CONV.txt 20-Jun-2018 01:02 707
Conv.FORALL_OR_CONV.txt 20-Jun-2018 01:02 1234
Conv.FORK_CONV.txt 20-Jun-2018 01:02 1189
Conv.FUN_EQ_CONV.txt 20-Jun-2018 01:02 1012
Conv.GSYM.txt 20-Jun-2018 01:02 1128
Conv.HYP_CONV_RULE.txt 20-Jun-2018 01:02 1511
Conv.IFC.txt 20-Jun-2018 01:02 1295
Conv.LAND_CONV.txt 20-Jun-2018 01:02 1241
Conv.LAST_EXISTS_CONV.txt 20-Jun-2018 01:02 892
Conv.LAST_FORALL_CONV.txt 20-Jun-2018 01:02 888
Conv.LEFT_AND_EXISTS_CONV.txt 20-Jun-2018 01:02 864
Conv.LEFT_AND_FORALL_CONV.txt 20-Jun-2018 01:02 859
Conv.LEFT_IMP_EXISTS_CONV.txt 20-Jun-2018 01:02 844
Conv.LEFT_IMP_FORALL_CONV.txt 20-Jun-2018 01:02 839
Conv.LEFT_OR_EXISTS_CONV.txt 20-Jun-2018 01:02 859
Conv.LEFT_OR_FORALL_CONV.txt 20-Jun-2018 01:02 854
Conv.LHS_CONV.txt 20-Jun-2018 01:02 1203
Conv.NOT_EXISTS_CONV.txt 20-Jun-2018 01:02 711
Conv.NOT_FORALL_CONV.txt 20-Jun-2018 01:02 753
Conv.NO_CONV.txt 20-Jun-2018 01:02 419
Conv.ONCE_DEPTH_CONV.txt 20-Jun-2018 01:02 2960
Conv.ORELSEC.txt 20-Jun-2018 01:02 943
Conv.OR_EXISTS_CONV.txt 20-Jun-2018 01:02 760
Conv.OR_FORALL_CONV.txt 20-Jun-2018 01:02 912
Conv.PATH_CONV.txt 20-Jun-2018 01:02 1631
Conv.PAT_CONV.txt 20-Jun-2018 01:02 1714
Conv.QCHANGED_CONV.txt 20-Jun-2018 01:02 1680
Conv.QCONV.txt 20-Jun-2018 01:02 662
Conv.QUANT_CONV.txt 20-Jun-2018 01:02 943
Conv.RAND_CONV.txt 20-Jun-2018 01:02 1239
Conv.RATOR_CONV.txt 20-Jun-2018 01:02 1217
Conv.REDEPTH_CONV.txt 20-Jun-2018 01:02 2407
Conv.RENAME_VARS_CONV.txt 20-Jun-2018 01:02 2036
Conv.REPEATC.txt 20-Jun-2018 01:02 1130
Conv.RESORT_EXISTS_CONV.txt 20-Jun-2018 01:02 1559
Conv.RESORT_FORALL_CONV.txt 20-Jun-2018 01:02 1553
Conv.REWR_CONV.txt 20-Jun-2018 01:02 6020
Conv.REWR_CONV_A.txt 20-Jun-2018 01:02 1048
Conv.RHS_CONV.txt 20-Jun-2018 01:02 1204
Conv.RIGHT_AND_EXISTS_CONV.txt 20-Jun-2018 01:02 868
Conv.RIGHT_AND_FORALL_CONV.txt 20-Jun-2018 01:02 863
Conv.RIGHT_CONV_RULE.txt 20-Jun-2018 01:02 1285
Conv.RIGHT_IMP_EXISTS_CONV.txt 20-Jun-2018 01:02 847
Conv.RIGHT_IMP_FORALL_CONV.txt 20-Jun-2018 01:02 842
Conv.RIGHT_OR_EXISTS_CONV.txt 20-Jun-2018 01:02 863
Conv.RIGHT_OR_FORALL_CONV.txt 20-Jun-2018 01:02 858
Conv.SELECT_CONV.txt 20-Jun-2018 01:02 1624
Conv.SKOLEM_CONV.txt 20-Jun-2018 01:02 741
Conv.STRIP_BINDER_CONV.txt 20-Jun-2018 01:02 1408
Conv.STRIP_QUANT_CONV.txt 20-Jun-2018 01:02 1533
Conv.SUB_CONV.txt 20-Jun-2018 01:02 1932
Conv.SWAP_EXISTS_CONV.txt 20-Jun-2018 01:02 674
Conv.SYM_CONV.txt 20-Jun-2018 01:02 626
Conv.THENC.txt 20-Jun-2018 01:02 1670
Conv.TOP_DEPTH_CONV.txt 20-Jun-2018 01:02 1492
Conv.TRY_CONV.txt 20-Jun-2018 01:02 1128
Conv.UNBETA_CONV.txt 20-Jun-2018 01:02 1004
Conv.UNCHANGED.txt 20-Jun-2018 01:02 1295
Conv.X_FUN_EQ_CONV.txt 20-Jun-2018 01:02 1204
Conv.X_SKOLEM_CONV.txt 20-Jun-2018 01:02 1237
Conv.bool_EQ_CONV.txt 20-Jun-2018 01:02 1157
Count.apply.txt 20-Jun-2018 01:02 1218
Count.thm_count.txt 20-Jun-2018 01:02 1416
DB.apropos.txt 20-Jun-2018 01:02 1277
DB.apropos_in.txt 20-Jun-2018 01:02 1630
DB.axioms.txt 20-Jun-2018 01:02 1092
DB.class.txt 20-Jun-2018 01:02 769
DB.data.txt 20-Jun-2018 01:02 961
DB.definitions.txt 20-Jun-2018 01:02 1170
DB.dest_theory.txt 20-Jun-2018 01:02 4506
DB.fetch.txt 20-Jun-2018 01:02 786
DB.find.txt 20-Jun-2018 01:02 1249
DB.find_in.txt 20-Jun-2018 01:02 1605
DB.listDB.txt 20-Jun-2018 01:02 648
DB.match.txt 20-Jun-2018 01:02 2289
DB.matcher.txt 20-Jun-2018 01:02 2571
DB.matches.txt 20-Jun-2018 01:02 1039
DB.matchp.txt 20-Jun-2018 01:02 3712
DB.theorems.txt 20-Jun-2018 01:02 1302
DB.thms.txt 20-Jun-2018 01:02 1540
DB.thy.txt 20-Jun-2018 01:02 1527
Definition.gen_new_specification.txt 20-Jun-2018 01:02 1611
Definition.new_definition.txt 20-Jun-2018 01:02 2286
Definition.new_specification.txt 20-Jun-2018 01:02 2207
Definition.new_type_definition.txt 20-Jun-2018 01:02 4452
Defn.Hol_defn.txt 20-Jun-2018 01:02 458
Defn.tgoal.txt 20-Jun-2018 01:02 1205
Defn.tprove.txt 20-Jun-2018 01:02 2357
Drule.ADD_ASSUM.txt 20-Jun-2018 01:02 677
Drule.ALPHA_CONV.txt 20-Jun-2018 01:02 930
Drule.ASSUME_CONJS.txt 20-Jun-2018 01:02 931
Drule.BODY_CONJUNCTS.txt 20-Jun-2018 01:02 1339
Drule.CONJUNCTS.txt 20-Jun-2018 01:02 1029
Drule.CONJUNCTS_AC.txt 20-Jun-2018 01:02 1248
Drule.CONJ_DISCH.txt 20-Jun-2018 01:02 953
Drule.CONJ_DISCHL.txt 20-Jun-2018 01:02 1024
Drule.CONJ_LIST.txt 20-Jun-2018 01:02 1724
Drule.CONJ_PAIR.txt 20-Jun-2018 01:02 721
Drule.CONTR.txt 20-Jun-2018 01:02 728
Drule.CONTRAPOS.txt 20-Jun-2018 01:02 734
Drule.DISCH_ALL.txt 20-Jun-2018 01:02 935
Drule.DISJUNCTS_AC.txt 20-Jun-2018 01:02 1248
Drule.DISJ_CASES_UNION.txt 20-Jun-2018 01:02 1408
Drule.DISJ_IMP.txt 20-Jun-2018 01:02 900
Drule.EQF_ELIM.txt 20-Jun-2018 01:02 597
Drule.EQF_INTRO.txt 20-Jun-2018 01:02 583
Drule.EQT_ELIM.txt 20-Jun-2018 01:02 575
Drule.EQT_INTRO.txt 20-Jun-2018 01:02 523
Drule.ETA_CONV.txt 20-Jun-2018 01:02 607
Drule.EXISTS_EQ.txt 20-Jun-2018 01:02 1101
Drule.EXISTS_IMP.txt 20-Jun-2018 01:02 969
Drule.EXISTS_LEFT.txt 20-Jun-2018 01:02 1734
Drule.EXISTS_LEFT1.txt 20-Jun-2018 01:02 1281
Drule.EXT.txt 20-Jun-2018 01:02 937
Drule.FORALL_EQ.txt 20-Jun-2018 01:02 1042
Drule.GEN_ALL.txt 20-Jun-2018 01:02 918
Drule.GEN_ALPHA_CONV.txt 20-Jun-2018 01:02 1661
Drule.GSPEC.txt 20-Jun-2018 01:02 1059
Drule.IMP_ANTISYM_RULE.txt 20-Jun-2018 01:02 889
Drule.IMP_CANON.txt 20-Jun-2018 01:02 1384
Drule.IMP_CONJ.txt 20-Jun-2018 01:02 790
Drule.IMP_ELIM.txt 20-Jun-2018 01:02 686
Drule.IMP_TRANS.txt 20-Jun-2018 01:02 904
Drule.INST_TT_HYPS.txt 20-Jun-2018 01:02 818
Drule.INST_TY_TERM.txt 20-Jun-2018 01:02 1067
Drule.IRULE_CANON.txt 20-Jun-2018 01:02 1308
Drule.ISPEC.txt 20-Jun-2018 01:02 991
Drule.ISPECL.txt 20-Jun-2018 01:02 943
Drule.LIST_BETA_CONV.txt 20-Jun-2018 01:02 1065
Drule.LIST_CONJ.txt 20-Jun-2018 01:02 721
Drule.LIST_MK_EXISTS.txt 20-Jun-2018 01:02 1075
Drule.LIST_MP.txt 20-Jun-2018 01:02 1190
Drule.MATCH_MP.txt 20-Jun-2018 01:02 2536
Drule.MK_ABS.txt 20-Jun-2018 01:02 804
Drule.MK_EXISTS.txt 20-Jun-2018 01:02 851
Drule.MODIFY_CONS.txt 20-Jun-2018 01:02 1156
Drule.NEG_DISCH.txt 20-Jun-2018 01:02 943
Drule.NOT_EQ_SYM.txt 20-Jun-2018 01:02 747
Drule.PART_MATCH.txt 20-Jun-2018 01:02 1658
Drule.PART_MATCH_A.txt 20-Jun-2018 01:02 611
Drule.PROVE_HYP.txt 20-Jun-2018 01:02 1017
Drule.REORDER_ANTS.txt 20-Jun-2018 01:02 1084
Drule.REORDER_ANTS_MOD.txt 20-Jun-2018 01:02 817
Drule.RES_CANON.txt 20-Jun-2018 01:02 4441
Drule.RIGHT_BETA.txt 20-Jun-2018 01:02 882
Drule.RIGHT_ETA.txt 20-Jun-2018 01:02 859
Drule.RIGHT_LIST_BETA.txt 20-Jun-2018 01:02 988
Drule.SELECT_ELIM.txt 20-Jun-2018 01:02 2235
Drule.SELECT_EQ.txt 20-Jun-2018 01:02 1199
Drule.SELECT_INTRO.txt 20-Jun-2018 01:02 1221
Drule.SELECT_RULE.txt 20-Jun-2018 01:02 1328
Drule.SIMPLE_EXISTS.txt 20-Jun-2018 01:02 1094
Drule.SPECL.txt 20-Jun-2018 01:02 1562
Drule.SPEC_ALL.txt 20-Jun-2018 01:02 1117
Drule.SPEC_UNDISCH_EXL.txt 20-Jun-2018 01:02 1358
Drule.SPEC_VAR.txt 20-Jun-2018 01:02 1008
Drule.SUBS.txt 20-Jun-2018 01:02 2315
Drule.SUBST_CONV.txt 20-Jun-2018 01:02 2922
Drule.SUBS_OCCS.txt 20-Jun-2018 01:02 1913
Drule.UNDISCH.txt 20-Jun-2018 01:02 986
Drule.UNDISCH_ALL.txt 20-Jun-2018 01:02 1095
Drule.UNDISCH_SPLIT.txt 20-Jun-2018 01:02 1123
Drule.UNDISCH_TM.txt 20-Jun-2018 01:02 1015
Drule.define_new_type_bijections.txt 20-Jun-2018 01:02 2486
Drule.prove_abs_fn_one_one.txt 20-Jun-2018 01:02 986
Drule.prove_abs_fn_onto.txt 20-Jun-2018 01:02 917
Drule.prove_rep_fn_one_one.txt 20-Jun-2018 01:02 942
Drule.prove_rep_fn_onto.txt 20-Jun-2018 01:02 954
EmitTeX.datatype_theorems.txt 20-Jun-2018 01:02 1181
EmitTeX.datatype_thm_to_string.txt 20-Jun-2018 01:02 1002
EmitTeX.non_type_definitions.txt 20-Jun-2018 01:02 2044
EmitTeX.non_type_theorems.txt 20-Jun-2018 01:02 3209
EmitTeX.print_datatypes.txt 20-Jun-2018 01:02 1032
EmitTeX.print_term_as_tex.txt 20-Jun-2018 01:02 1150
EmitTeX.print_theorem_as_tex.txt 20-Jun-2018 01:02 1410
EmitTeX.print_theories_as_tex_doc.txt 20-Jun-2018 01:02 1378
EmitTeX.print_theory_as_tex.txt 20-Jun-2018 01:02 2478
EmitTeX.print_type_as_tex.txt 20-Jun-2018 01:02 1069
EmitTeX.tex_theory.txt 20-Jun-2018 01:02 1143
Feedback.ERR_outstream.txt 20-Jun-2018 01:02 1124
Feedback.ERR_to_string.txt 20-Jun-2018 01:02 1231
Feedback.HOL_ERR.txt 20-Jun-2018 01:02 1743
Feedback.HOL_MESG.txt 20-Jun-2018 01:02 1434
Feedback.HOL_WARNING.txt 20-Jun-2018 01:02 1755
Feedback.MESG_outstream.txt 20-Jun-2018 01:02 1100
Feedback.MESG_to_string.txt 20-Jun-2018 01:02 908
Feedback.Raise.txt 20-Jun-2018 01:02 940
Feedback.WARNING_outstream.txt 20-Jun-2018 01:02 1137
Feedback.WARNING_to_string.txt 20-Jun-2018 01:02 1004
Feedback.current_trace.txt 20-Jun-2018 01:02 604
Feedback.emit_ERR.txt 20-Jun-2018 01:02 1081
Feedback.emit_MESG.txt 20-Jun-2018 01:02 876
Feedback.emit_WARNING.txt 20-Jun-2018 01:02 983
Feedback.error_record.txt 20-Jun-2018 01:02 978
Feedback.exn_to_string.txt 20-Jun-2018 01:02 994
Feedback.fail.txt 20-Jun-2018 01:02 687
Feedback.failwith.txt 20-Jun-2018 01:02 861
Feedback.format_ERR.txt 20-Jun-2018 01:02 899
Feedback.format_MESG.txt 20-Jun-2018 01:02 792
Feedback.format_WARNING.txt 20-Jun-2018 01:02 882
Feedback.mk_HOL_ERR.txt 20-Jun-2018 01:02 813
Feedback.register_btrace.txt 20-Jun-2018 01:02 957
Feedback.register_ftrace.txt 20-Jun-2018 01:02 1357
Feedback.register_trace.txt 20-Jun-2018 01:02 1035
Feedback.reset_trace.txt 20-Jun-2018 01:02 894
Feedback.reset_traces.txt 20-Jun-2018 01:02 629
Feedback.set_trace.txt 20-Jun-2018 01:02 1429
Feedback.trace.txt 20-Jun-2018 01:02 2082
Feedback.traces.txt 20-Jun-2018 01:02 949
Feedback.txt 20-Jun-2018 01:02 519
Feedback.wrap_exn.txt 20-Jun-2018 01:02 2175
Globals.max_print_depth.txt 20-Jun-2018 01:02 1336
Globals.priming.txt 20-Jun-2018 01:02 1111
Globals.release.txt 20-Jun-2018 01:02 463
Globals.show_tags.txt 20-Jun-2018 01:02 1193
Globals.show_types.txt 20-Jun-2018 01:02 1413
Globals.version.txt 20-Jun-2018 01:02 442
HolKernel.bvk_find_term.txt 20-Jun-2018 01:02 2235
HolKernel.dest_term.txt 20-Jun-2018 01:02 916
HolKernel.disch.txt 20-Jun-2018 01:02 701
HolKernel.find_term.txt 20-Jun-2018 01:02 1020
HolKernel.find_terms.txt 20-Jun-2018 01:02 1126
HolKernel.gen_find_term.txt 20-Jun-2018 01:02 2012
HolKernel.gen_find_terms.txt 20-Jun-2018 01:02 1863
HolKernel.sort_vars.txt 20-Jun-2018 01:02 811
HolKernel.subst_occs.txt 20-Jun-2018 01:02 1463
HolKernel.syntax_fns.txt 20-Jun-2018 01:02 3332
HolSatLib.SAT_PROVE.txt 20-Jun-2018 01:02 1558
Hol_pp.print_theory.txt 20-Jun-2018 01:02 1537
IndDefLib.Hol_reln.txt 20-Jun-2018 01:02 480
IndDefLib.export_mono.txt 20-Jun-2018 01:02 990
IndDefRules.txt 20-Jun-2018 01:02 538
Lexis.allowed_term_constant.txt 20-Jun-2018 01:02 1084
Lexis.allowed_type_constant.txt 20-Jun-2018 01:02 1161
Lib.C.txt 20-Jun-2018 01:02 650
Lib.I.txt 20-Jun-2018 01:02 444
Lib.K.txt 20-Jun-2018 01:02 445
Lib.S.txt 20-Jun-2018 01:02 587
Lib.U.txt 20-Jun-2018 01:02 1164
Lib.W.txt 20-Jun-2018 01:02 912
Lib.all.txt 20-Jun-2018 01:02 897
Lib.all2.txt 20-Jun-2018 01:02 1197
Lib.append.txt 20-Jun-2018 01:02 575
Lib.assert.txt 20-Jun-2018 01:02 899
Lib.assert_exn.txt 20-Jun-2018 01:02 1003
Lib.assoc.txt 20-Jun-2018 01:02 1006
Lib.assoc1.txt 20-Jun-2018 01:02 933
Lib.assoc2.txt 20-Jun-2018 01:02 944
Lib.butlast.txt 20-Jun-2018 01:02 535
Lib.can.txt 20-Jun-2018 01:02 782
Lib.combine.txt 20-Jun-2018 01:02 777
Lib.commafy.txt 20-Jun-2018 01:02 803
Lib.cons.txt 20-Jun-2018 01:02 689
Lib.curry.txt 20-Jun-2018 01:02 743
Lib.delta.txt 20-Jun-2018 01:02 1005
Lib.delta_apply.txt 20-Jun-2018 01:02 2001
Lib.delta_map.txt 20-Jun-2018 01:02 945
Lib.delta_pair.txt 20-Jun-2018 01:02 1081
Lib.el.txt 20-Jun-2018 01:02 644
Lib.end_itlist.txt 20-Jun-2018 01:02 767
Lib.end_time.txt 20-Jun-2018 01:02 1013
Lib.enumerate.txt 20-Jun-2018 01:02 676
Lib.equal.txt 20-Jun-2018 01:02 644
Lib.exists.txt 20-Jun-2018 01:02 1028
Lib.filter.txt 20-Jun-2018 01:02 739
Lib.first.txt 20-Jun-2018 01:02 1107
Lib.flatten.txt 20-Jun-2018 01:02 689
Lib.for.txt 20-Jun-2018 01:02 809
Lib.for_se.txt 20-Jun-2018 01:02 883
Lib.front_last.txt 20-Jun-2018 01:02 641
Lib.fst.txt 20-Jun-2018 01:02 832
Lib.funpow.txt 20-Jun-2018 01:02 962
Lib.hash.txt 20-Jun-2018 01:02 955
Lib.hash2.txt 20-Jun-2018 01:02 804
Lib.index.txt 20-Jun-2018 01:02 1009
Lib.insert.txt 20-Jun-2018 01:02 1433
Lib.int_sort.txt 20-Jun-2018 01:02 833
Lib.int_to_string.txt 20-Jun-2018 01:02 706
Lib.intersect.txt 20-Jun-2018 01:02 1250
Lib.istream.txt 20-Jun-2018 01:02 807
Lib.itlist.txt 20-Jun-2018 01:02 774
Lib.itlist2.txt 20-Jun-2018 01:02 912
Lib.last.txt 20-Jun-2018 01:02 479
Lib.list_compare.txt 20-Jun-2018 01:02 975
Lib.map2.txt 20-Jun-2018 01:02 724
Lib.mapfilter.txt 20-Jun-2018 01:02 686
Lib.maplet.txt 20-Jun-2018 01:02 861
Lib.mem.txt 20-Jun-2018 01:02 970
Lib.mk_istream.txt 20-Jun-2018 01:02 1129
Lib.mk_set.txt 20-Jun-2018 01:02 1284
Lib.mlquote.txt 20-Jun-2018 01:02 750
Lib.next.txt 20-Jun-2018 01:02 885
Lib.null_intersection.txt 20-Jun-2018 01:02 939
Lib.op_U.txt 20-Jun-2018 01:02 1426
Lib.op_insert.txt 20-Jun-2018 01:02 1387
Lib.op_intersect.txt 20-Jun-2018 01:02 1184
Lib.op_mem.txt 20-Jun-2018 01:02 1025
Lib.op_mk_set.txt 20-Jun-2018 01:02 1366
Lib.op_set_diff.txt 20-Jun-2018 01:02 1139
Lib.op_union.txt 20-Jun-2018 01:02 1427
Lib.pair.txt 20-Jun-2018 01:02 530
Lib.pair_of_list.txt 20-Jun-2018 01:02 553
Lib.partial.txt 20-Jun-2018 01:02 1486
Lib.partition.txt 20-Jun-2018 01:02 1053
Lib.pipegt.txt 20-Jun-2018 01:02 802
Lib.pluck.txt 20-Jun-2018 01:02 1026
Lib.ppstring.txt 20-Jun-2018 01:02 1045
Lib.prime.txt 20-Jun-2018 01:02 466
Lib.quadruple.txt 20-Jun-2018 01:02 523
Lib.quadruple_of_list.txt 20-Jun-2018 01:02 594
Lib.quote.txt 20-Jun-2018 01:02 642
Lib.repeat.txt 20-Jun-2018 01:02 1167
Lib.reset.txt 20-Jun-2018 01:02 835
Lib.rev_assoc.txt 20-Jun-2018 01:02 982
Lib.rev_itlist.txt 20-Jun-2018 01:02 768
Lib.rev_itlist2.txt 20-Jun-2018 01:02 877
Lib.rpair.txt 20-Jun-2018 01:02 503
Lib.say.txt 20-Jun-2018 01:02 543
Lib.set_diff.txt 20-Jun-2018 01:02 1180
Lib.set_eq.txt 20-Jun-2018 01:02 1100
Lib.singleton_of_list.txt 20-Jun-2018 01:02 553
Lib.snd.txt 20-Jun-2018 01:02 917
Lib.sort.txt 20-Jun-2018 01:02 1355
Lib.split.txt 20-Jun-2018 01:02 634
Lib.split_after.txt 20-Jun-2018 01:02 1127
Lib.start_time.txt 20-Jun-2018 01:02 926
Lib.state.txt 20-Jun-2018 01:02 911
Lib.strcat.txt 20-Jun-2018 01:02 584
Lib.string_to_int.txt 20-Jun-2018 01:02 817
Lib.subst.txt 20-Jun-2018 01:02 853
Lib.subst_assoc.txt 20-Jun-2018 01:02 1006
Lib.subtract.txt 20-Jun-2018 01:02 462
Lib.swap.txt 20-Jun-2018 01:02 467
Lib.time.txt 20-Jun-2018 01:02 1987
Lib.topsort.txt 20-Jun-2018 01:02 1283
Lib.total.txt 20-Jun-2018 01:02 1473
Lib.triple.txt 20-Jun-2018 01:02 491
Lib.triple_of_list.txt 20-Jun-2018 01:02 570
Lib.try.txt 20-Jun-2018 01:02 1842
Lib.trye.txt 20-Jun-2018 01:02 1435
Lib.tryfind.txt 20-Jun-2018 01:02 952
Lib.trypluck.txt 20-Jun-2018 01:02 1003
Lib.trypluckprime.txt 20-Jun-2018 01:02 980
Lib.txt 20-Jun-2018 01:02 478
Lib.uncurry.txt 20-Jun-2018 01:02 695
Lib.union.txt 20-Jun-2018 01:02 1622
Lib.unzip.txt 20-Jun-2018 01:02 581
Lib.upto.txt 20-Jun-2018 01:02 554
Lib.with_exn.txt 20-Jun-2018 01:02 1703
Lib.with_flag.txt 20-Jun-2018 01:02 1103
Lib.words2.txt 20-Jun-2018 01:02 1211
Lib.zip.txt 20-Jun-2018 01:02 757
PairRules.AND_PEXISTS_CONV.txt 20-Jun-2018 01:02 984
PairRules.AND_PFORALL_CONV.txt 20-Jun-2018 01:02 805
PairRules.CURRY_CONV.txt 20-Jun-2018 01:02 725
PairRules.CURRY_EXISTS_CONV.txt 20-Jun-2018 01:02 977
PairRules.CURRY_FORALL_CONV.txt 20-Jun-2018 01:02 971
PairRules.FILTER_PGEN_TAC.txt 20-Jun-2018 01:02 1251
PairRules.FILTER_PSTRIP_TAC.txt 20-Jun-2018 01:02 2882
PairRules.FILTER_PSTRIP_THEN.txt 20-Jun-2018 01:02 1805
PairRules.GEN_PALPHA_CONV.txt 20-Jun-2018 01:02 1023
PairRules.GPSPEC.txt 20-Jun-2018 01:02 1166
PairRules.HALF_MK_PABS.txt 20-Jun-2018 01:02 1030
PairRules.IPSPEC.txt 20-Jun-2018 01:02 1029
PairRules.IPSPECL.txt 20-Jun-2018 01:02 975
PairRules.LEFT_AND_PEXISTS_CONV.txt 20-Jun-2018 01:02 955
PairRules.LEFT_AND_PFORALL_CONV.txt 20-Jun-2018 01:02 872
PairRules.LEFT_IMP_PEXISTS_CONV.txt 20-Jun-2018 01:02 930
PairRules.LEFT_IMP_PFORALL_CONV.txt 20-Jun-2018 01:02 940
PairRules.LEFT_LIST_PBETA.txt 20-Jun-2018 01:02 1119
PairRules.LEFT_OR_PEXISTS_CONV.txt 20-Jun-2018 01:02 952
PairRules.LEFT_OR_PFORALL_CONV.txt 20-Jun-2018 01:02 959
PairRules.LEFT_PBETA.txt 20-Jun-2018 01:02 1004
PairRules.LIST_MK_PEXISTS.txt 20-Jun-2018 01:02 1196
PairRules.LIST_MK_PFORALL.txt 20-Jun-2018 01:02 1190
PairRules.LIST_PBETA_CONV.txt 20-Jun-2018 01:02 1234
PairRules.MK_PABS.txt 20-Jun-2018 01:02 854
PairRules.MK_PAIR.txt 20-Jun-2018 01:02 728
PairRules.MK_PEXISTS.txt 20-Jun-2018 01:02 884
PairRules.MK_PFORALL.txt 20-Jun-2018 01:02 866
PairRules.MK_PSELECT.txt 20-Jun-2018 01:02 849
PairRules.NOT_PEXISTS_CONV.txt 20-Jun-2018 01:02 779
PairRules.NOT_PFORALL_CONV.txt 20-Jun-2018 01:02 838
PairRules.OR_PEXISTS_CONV.txt 20-Jun-2018 01:02 827
PairRules.OR_PFORALL_CONV.txt 20-Jun-2018 01:02 1006
PairRules.PABS.txt 20-Jun-2018 01:02 912
PairRules.PABS_CONV.txt 20-Jun-2018 01:02 1242
PairRules.PAIR_CONV.txt 20-Jun-2018 01:02 937
PairRules.PALPHA.txt 20-Jun-2018 01:02 1951
PairRules.PALPHA_CONV.txt 20-Jun-2018 01:02 2175
PairRules.PART_PMATCH.txt 20-Jun-2018 01:02 1038
PairRules.PBETA_CONV.txt 20-Jun-2018 01:02 2071
PairRules.PBETA_RULE.txt 20-Jun-2018 01:02 930
PairRules.PBETA_TAC.txt 20-Jun-2018 01:02 906
PairRules.PCHOOSE.txt 20-Jun-2018 01:02 1199
PairRules.PCHOOSE_TAC.txt 20-Jun-2018 01:02 1004
PairRules.PCHOOSE_THEN.txt 20-Jun-2018 01:02 1189
PairRules.PETA_CONV.txt 20-Jun-2018 01:02 639
PairRules.PEXISTENCE.txt 20-Jun-2018 01:02 843
PairRules.PEXISTS.txt 20-Jun-2018 01:02 1584
PairRules.PEXISTS_AND_CONV.txt 20-Jun-2018 01:02 1388
PairRules.PEXISTS_CONV.txt 20-Jun-2018 01:02 942
PairRules.PEXISTS_EQ.txt 20-Jun-2018 01:02 1226
PairRules.PEXISTS_IMP.txt 20-Jun-2018 01:02 1059
PairRules.PEXISTS_IMP_CONV.txt 20-Jun-2018 01:02 1375
PairRules.PEXISTS_NOT_CONV.txt 20-Jun-2018 01:02 777
PairRules.PEXISTS_OR_CONV.txt 20-Jun-2018 01:02 810
PairRules.PEXISTS_RULE.txt 20-Jun-2018 01:02 952
PairRules.PEXISTS_TAC.txt 20-Jun-2018 01:02 976
PairRules.PEXISTS_UNIQUE_CONV.txt 20-Jun-2018 01:02 1344
PairRules.PEXT.txt 20-Jun-2018 01:02 1068
PairRules.PFORALL_AND_CONV.txt 20-Jun-2018 01:02 812
PairRules.PFORALL_EQ.txt 20-Jun-2018 01:02 1167
PairRules.PFORALL_IMP_CONV.txt 20-Jun-2018 01:02 1373
PairRules.PFORALL_NOT_CONV.txt 20-Jun-2018 01:02 773
PairRules.PFORALL_OR_CONV.txt 20-Jun-2018 01:02 1378
PairRules.PGEN.txt 20-Jun-2018 01:02 1059
PairRules.PGENL.txt 20-Jun-2018 01:02 1113
PairRules.PGEN_TAC.txt 20-Jun-2018 01:02 1073
PairRules.PMATCH_MP.txt 20-Jun-2018 01:02 1620
PairRules.PMATCH_MP_TAC.txt 20-Jun-2018 01:02 1420
PairRules.PSELECT_CONV.txt 20-Jun-2018 01:02 972
PairRules.PSELECT_ELIM.txt 20-Jun-2018 01:02 1520
PairRules.PSELECT_EQ.txt 20-Jun-2018 01:02 1067
PairRules.PSELECT_INTRO.txt 20-Jun-2018 01:02 1020
PairRules.PSELECT_RULE.txt 20-Jun-2018 01:02 1007
PairRules.PSKOLEM_CONV.txt 20-Jun-2018 01:02 1223
PairRules.PSPEC.txt 20-Jun-2018 01:02 1364
PairRules.PSPECL.txt 20-Jun-2018 01:02 1242
PairRules.PSPEC_ALL.txt 20-Jun-2018 01:02 1078
PairRules.PSPEC_PAIR.txt 20-Jun-2018 01:02 1062
PairRules.PSPEC_TAC.txt 20-Jun-2018 01:02 1316
PairRules.PSTRIP_ASSUME_TAC.txt 20-Jun-2018 01:02 2177
PairRules.PSTRIP_GOAL_THEN.txt 20-Jun-2018 01:02 2017
PairRules.PSTRIP_TAC.txt 20-Jun-2018 01:02 2087
PairRules.PSTRIP_THM_THEN.txt 20-Jun-2018 01:02 2582
PairRules.PSTRUCT_CASES_TAC.txt 20-Jun-2018 01:02 1518
PairRules.PSUB_CONV.txt 20-Jun-2018 01:02 1849
PairRules.P_FUN_EQ_CONV.txt 20-Jun-2018 01:02 1279
PairRules.P_PCHOOSE_TAC.txt 20-Jun-2018 01:02 1366
PairRules.P_PCHOOSE_THEN.txt 20-Jun-2018 01:02 1678
PairRules.P_PGEN_TAC.txt 20-Jun-2018 01:02 1096
PairRules.P_PSKOLEM_CONV.txt 20-Jun-2018 01:02 1309
PairRules.RIGHT_AND_PEXISTS_CONV.txt 20-Jun-2018 01:02 963
PairRules.RIGHT_AND_PFORALL_CONV.txt 20-Jun-2018 01:02 959
PairRules.RIGHT_IMP_PEXISTS_CONV.txt 20-Jun-2018 01:02 933
PairRules.RIGHT_IMP_PFORALL_CONV.txt 20-Jun-2018 01:02 943
PairRules.RIGHT_LIST_PBETA.txt 20-Jun-2018 01:02 1124
PairRules.RIGHT_OR_PEXISTS_CONV.txt 20-Jun-2018 01:02 957
PairRules.RIGHT_OR_PFORALL_CONV.txt 20-Jun-2018 01:02 964
PairRules.RIGHT_PBETA.txt 20-Jun-2018 01:02 1009
PairRules.SWAP_PEXISTS_CONV.txt 20-Jun-2018 01:02 748
PairRules.SWAP_PFORALL_CONV.txt 20-Jun-2018 01:02 723
PairRules.UNCURRY_CONV.txt 20-Jun-2018 01:02 613
PairRules.UNCURRY_EXISTS_CONV.txt 20-Jun-2018 01:02 987
PairRules.UNCURRY_FORALL_CONV.txt 20-Jun-2018 01:02 981
PairRules.UNPBETA_CONV.txt 20-Jun-2018 01:02 746
PairRules.pvariant.txt 20-Jun-2018 01:02 1768
PairedLambda.GEN_BETA_CONV.txt 20-Jun-2018 01:02 1815
PairedLambda.PAIRED_BETA_CONV.txt 20-Jun-2018 01:02 3256
PairedLambda.PAIRED_ETA_CONV.txt 20-Jun-2018 01:02 1397
Parse.Absyn.txt 20-Jun-2018 01:02 1305
Parse.Term.txt 20-Jun-2018 01:02 3236
Parse.add_bare_numeral_form.txt 20-Jun-2018 01:02 2676
Parse.add_infix.txt 20-Jun-2018 01:02 5052
Parse.add_infix_type.txt 20-Jun-2018 01:02 1929
Parse.add_listform.txt 20-Jun-2018 01:02 3929
Parse.add_numeral_form.txt 20-Jun-2018 01:02 4150
Parse.add_rule.txt 20-Jun-2018 01:02 11806
Parse.add_user_printer.txt 20-Jun-2018 01:02 12565
Parse.associate_restriction.txt 20-Jun-2018 01:02 2231
Parse.clear_overloads_on.txt 20-Jun-2018 01:02 1675
Parse.current_grammars.txt 20-Jun-2018 01:02 777
Parse.disable_tyabbrev_printing.txt 20-Jun-2018 01:02 2337
Parse.equal2.txt 20-Jun-2018 01:02 559
Parse.hidden.txt 20-Jun-2018 01:02 702
Parse.hide.txt 20-Jun-2018 01:02 1884
Parse.known_constants.txt 20-Jun-2018 01:02 703
Parse.overload_info_for.txt 20-Jun-2018 01:02 1183
Parse.overload_on.txt 20-Jun-2018 01:02 3701
Parse.parse_from_grammars.txt 20-Jun-2018 01:02 2552
Parse.parse_in_context.txt 20-Jun-2018 01:02 1813
Parse.pp_term_without_overloads_on.txt 20-Jun-2018 01:02 1061
Parse.prefer_form_with_tok.txt 20-Jun-2018 01:02 1602
Parse.print_from_grammars.txt 20-Jun-2018 01:02 2471
Parse.print_term.txt 20-Jun-2018 01:02 790
Parse.print_term_by_grammar.txt 20-Jun-2018 01:02 797
Parse.print_without_macros.txt 20-Jun-2018 01:02 1392
Parse.rawterm_pp.txt 20-Jun-2018 01:02 2417
Parse.remove_ovl_mapping.txt 20-Jun-2018 01:02 1697
Parse.remove_rules_for_term.txt 20-Jun-2018 01:02 1662
Parse.remove_termtok.txt 20-Jun-2018 01:02 2667
Parse.remove_type_abbrev.txt 20-Jun-2018 01:02 1702
Parse.remove_user_printer.txt 20-Jun-2018 01:02 1000
Parse.reveal.txt 20-Jun-2018 01:02 1116
Parse.set_fixity.txt 20-Jun-2018 01:02 2857
Parse.set_known_constants.txt 20-Jun-2018 01:02 1950
Parse.set_mapped_fixity.txt 20-Jun-2018 01:02 1717
Parse.show_numeral_types.txt 20-Jun-2018 01:02 1072
Parse.temp_set_grammars.txt 20-Jun-2018 01:02 1058
Parse.term_grammar.txt 20-Jun-2018 01:02 851
Parse.term_to_string.txt 20-Jun-2018 01:02 704
Parse.thytype_abbrev.txt 20-Jun-2018 01:02 1852
Parse.ty_antiq.txt 20-Jun-2018 01:02 1289
Parse.type_abbrev.txt 20-Jun-2018 01:02 2284
Parse.update_overload_maps.txt 20-Jun-2018 01:02 1630
Portable.pprint.txt 20-Jun-2018 01:02 830
Prim_rec.INDUCT_THEN.txt 20-Jun-2018 01:02 4255
Prim_rec.new_recursive_definition.txt 20-Jun-2018 01:02 6622
Prim_rec.prove_case_elim_thm.txt 20-Jun-2018 01:02 2020
Prim_rec.prove_case_eq_thm.txt 20-Jun-2018 01:02 1434
Prim_rec.prove_case_rand_thm.txt 20-Jun-2018 01:02 1847
Prim_rec.prove_cases_thm.txt 20-Jun-2018 01:02 1509
Prim_rec.prove_constructors_distinct.txt 20-Jun-2018 01:02 1673
Prim_rec.prove_constructors_one_one.txt 20-Jun-2018 01:02 1763
Prim_rec.prove_induction_thm.txt 20-Jun-2018 01:02 1822
Prim_rec.prove_rec_fn_exists.txt 20-Jun-2018 01:02 2005
Psyntax.txt 20-Jun-2018 01:02 2630
Q.ABBREV_TAC.txt 20-Jun-2018 01:02 3387
Q.HO_MATCH_ABBREV_TAC.txt 20-Jun-2018 01:02 912
Q.MATCH_ABBREV_TAC.txt 20-Jun-2018 01:02 2531
Q.MATCH_ASMSUB_RENAME_TAC.txt 20-Jun-2018 01:02 2095
Q.MATCH_ASSUM_ABBREV_TAC.txt 20-Jun-2018 01:02 1656
Q.MATCH_ASSUM_RENAME_TAC.txt 20-Jun-2018 01:02 1763
Q.MATCH_GOALSUB_RENAME_TAC.txt 20-Jun-2018 01:02 1668
Q.MATCH_RENAME_TAC.txt 20-Jun-2018 01:02 1683
Q.PAT_ABBREV_TAC.txt 20-Jun-2018 01:02 2194
Q.REFINE_EXISTS_TAC.txt 20-Jun-2018 01:02 1891
Q.RENAME1_TAC.txt 20-Jun-2018 01:02 1383
Q.RENAME_TAC.txt 20-Jun-2018 01:02 3566
Q.UNABBREV_TAC.txt 20-Jun-2018 01:02 1212
Rewrite.ASM_REWRITE_RULE.txt 20-Jun-2018 01:02 1293
Rewrite.ASM_REWRITE_TAC.txt 20-Jun-2018 01:02 2127
Rewrite.FILTER_ASM_REWRITE_RULE.txt 20-Jun-2018 01:02 1841
Rewrite.FILTER_ASM_REWRITE_TAC.txt 20-Jun-2018 01:02 2124
Rewrite.FILTER_ONCE_ASM_REWRITE_RULE.txt 20-Jun-2018 01:02 1464
Rewrite.FILTER_ONCE_ASM_REWRITE_TAC.txt 20-Jun-2018 01:02 1439
Rewrite.FILTER_PURE_ASM_REWRITE_RULE.txt 20-Jun-2018 01:02 1756
Rewrite.FILTER_PURE_ASM_REWRITE_TAC.txt 20-Jun-2018 01:02 2043
Rewrite.FILTER_PURE_ONCE_ASM_REWRITE_RULE.txt 20-Jun-2018 01:02 1395
Rewrite.FILTER_PURE_ONCE_ASM_REWRITE_TAC.txt 20-Jun-2018 01:02 1370
Rewrite.GEN_REWRITE_CONV.txt 20-Jun-2018 01:02 3317
Rewrite.GEN_REWRITE_RULE.txt 20-Jun-2018 01:02 3451
Rewrite.GEN_REWRITE_TAC.txt 20-Jun-2018 01:02 3805
Rewrite.ONCE_ASM_REWRITE_RULE.txt 20-Jun-2018 01:02 1401
Rewrite.ONCE_ASM_REWRITE_TAC.txt 20-Jun-2018 01:02 2046
Rewrite.ONCE_REWRITE_CONV.txt 20-Jun-2018 01:02 1072
Rewrite.ONCE_REWRITE_RULE.txt 20-Jun-2018 01:02 1146
Rewrite.ONCE_REWRITE_TAC.txt 20-Jun-2018 01:02 2115
Rewrite.PURE_ASM_REWRITE_RULE.txt 20-Jun-2018 01:02 1135
Rewrite.PURE_ASM_REWRITE_TAC.txt 20-Jun-2018 01:02 1311
Rewrite.PURE_ONCE_ASM_REWRITE_RULE.txt 20-Jun-2018 01:02 1011
Rewrite.PURE_ONCE_ASM_REWRITE_TAC.txt 20-Jun-2018 01:02 1408
Rewrite.PURE_ONCE_REWRITE_CONV.txt 20-Jun-2018 01:02 965
Rewrite.PURE_ONCE_REWRITE_RULE.txt 20-Jun-2018 01:02 997
Rewrite.PURE_ONCE_REWRITE_TAC.txt 20-Jun-2018 01:02 1364
Rewrite.PURE_REWRITE_CONV.txt 20-Jun-2018 01:02 1052
Rewrite.PURE_REWRITE_RULE.txt 20-Jun-2018 01:02 1206
Rewrite.PURE_REWRITE_TAC.txt 20-Jun-2018 01:02 2141
Rewrite.REWRITE_CONV.txt 20-Jun-2018 01:02 1911
Rewrite.REWRITE_RULE.txt 20-Jun-2018 01:02 2109
Rewrite.REWRITE_TAC.txt 20-Jun-2018 01:02 4081
Rewrite.SUBST_MATCH.txt 20-Jun-2018 01:02 2139
Rewrite.add_implicit_rewrites.txt 20-Jun-2018 01:02 539
Rewrite.add_rewrites.txt 20-Jun-2018 01:02 1090
Rewrite.bool_rewrites.txt 20-Jun-2018 01:02 1564
Rewrite.empty_rewrites.txt 20-Jun-2018 01:02 540
Rewrite.implicit_rewrites.txt 20-Jun-2018 01:02 2142
Rewrite.set_implicit_rewrites.txt 20-Jun-2018 01:02 499
Rsyntax.txt 20-Jun-2018 01:02 4429
Tactic.ABS_TAC.txt 20-Jun-2018 01:02 806
Tactic.ACCEPT_TAC.txt 20-Jun-2018 01:02 1033
Tactic.AP_TERM_TAC.txt 20-Jun-2018 01:02 828
Tactic.AP_THM_TAC.txt 20-Jun-2018 01:02 878
Tactic.ASM_CASES_TAC.txt 20-Jun-2018 01:02 1508
Tactic.ASSUME_TAC.txt 20-Jun-2018 01:02 2600
Tactic.BETA_TAC.txt 20-Jun-2018 01:02 870
Tactic.BOOL_CASES_TAC.txt 20-Jun-2018 01:02 1554
Tactic.CCONTR_TAC.txt 20-Jun-2018 01:02 678
Tactic.CHECK_ASSUME_TAC.txt 20-Jun-2018 01:02 1239
Tactic.CHOOSE_TAC.txt 20-Jun-2018 01:02 1571
Tactic.COND_CASES_TAC.txt 20-Jun-2018 01:02 2122
Tactic.CONJ_ASM1_TAC.txt 20-Jun-2018 01:02 859
Tactic.CONJ_ASM2_TAC.txt 20-Jun-2018 01:02 889
Tactic.CONJ_TAC.txt 20-Jun-2018 01:02 723
Tactic.CONTR_TAC.txt 20-Jun-2018 01:02 809
Tactic.CONV_TAC.txt 20-Jun-2018 01:02 2226
Tactic.DEEP_INTRO_TAC.txt 20-Jun-2018 01:02 1499
Tactic.DISCARD_TAC.txt 20-Jun-2018 01:02 922
Tactic.DISCH_TAC.txt 20-Jun-2018 01:02 1135
Tactic.DISJ1_TAC.txt 20-Jun-2018 01:02 565
Tactic.DISJ2_TAC.txt 20-Jun-2018 01:02 570
Tactic.DISJ_CASES_TAC.txt 20-Jun-2018 01:02 1260
Tactic.EQ_TAC.txt 20-Jun-2018 01:02 846
Tactic.EXISTS_TAC.txt 20-Jun-2018 01:02 1027
Tactic.FILTER_DISCH_TAC.txt 20-Jun-2018 01:02 1640
Tactic.FILTER_DISCH_THEN.txt 20-Jun-2018 01:02 1600
Tactic.FILTER_GEN_TAC.txt 20-Jun-2018 01:02 1180
Tactic.FILTER_STRIP_TAC.txt 20-Jun-2018 01:02 3021
Tactic.FILTER_STRIP_THEN.txt 20-Jun-2018 01:02 1907
Tactic.FREEZE_THEN.txt 20-Jun-2018 01:02 2045
Tactic.FULL_STRUCT_CASES_TAC.txt 20-Jun-2018 01:02 1476
Tactic.GEN_TAC.txt 20-Jun-2018 01:02 1110
Tactic.GSUBST_TAC.txt 20-Jun-2018 01:02 2107
Tactic.HINT_EXISTS_TAC.txt 20-Jun-2018 01:02 1781
Tactic.HO_MATCH_MP_TAC.txt 20-Jun-2018 01:02 1887
Tactic.IMP_RES_TAC.txt 20-Jun-2018 01:02 1924
Tactic.MATCH_ACCEPT_TAC.txt 20-Jun-2018 01:02 1247
Tactic.MATCH_MP_TAC.txt 20-Jun-2018 01:02 1593
Tactic.MK_COMB_TAC.txt 20-Jun-2018 01:02 842
Tactic.MP_TAC.txt 20-Jun-2018 01:02 762
Tactic.NTAC.txt 20-Jun-2018 01:02 840
Tactic.REFL_TAC.txt 20-Jun-2018 01:02 748
Tactic.RES_TAC.txt 20-Jun-2018 01:02 2654
Tactic.RULE_ASSUM_TAC.txt 20-Jun-2018 01:02 1113
Tactic.RULE_L_ASSUM_TAC.txt 20-Jun-2018 01:02 1654
Tactic.SELECT_ELIM_TAC.txt 20-Jun-2018 01:02 1914
Tactic.SPEC_TAC.txt 20-Jun-2018 01:02 941
Tactic.STRIP_ASSUME_TAC.txt 20-Jun-2018 01:02 2473
Tactic.STRIP_GOAL_THEN.txt 20-Jun-2018 01:02 2060
Tactic.STRIP_TAC.txt 20-Jun-2018 01:02 2086
Tactic.STRUCT_CASES_TAC.txt 20-Jun-2018 01:02 2168
Tactic.SUBST1_TAC.txt 20-Jun-2018 01:02 1815
Tactic.SUBST_ALL_TAC.txt 20-Jun-2018 01:02 1924
Tactic.SUBST_OCCS_TAC.txt 20-Jun-2018 01:02 2253
Tactic.SUBST_TAC.txt 20-Jun-2018 01:02 2020
Tactic.SUFF_TAC.txt 20-Jun-2018 01:02 764
Tactic.UNDISCH_TAC.txt 20-Jun-2018 01:02 1386
Tactic.WEAKEN_TAC.txt 20-Jun-2018 01:02 1201
Tactic.X_CHOOSE_TAC.txt 20-Jun-2018 01:02 1553
Tactic.X_GEN_TAC.txt 20-Jun-2018 01:02 973
Tactic.drule.txt 20-Jun-2018 01:02 2684
Tactic.drule_all.txt 20-Jun-2018 01:02 2223
Tactic.irule.txt 20-Jun-2018 01:02 2308
Tactic.prim_irule.txt 20-Jun-2018 01:02 1255
Tactical.ADD_SGS_TAC.txt 20-Jun-2018 01:02 2057
Tactical.ALLGOALS.txt 20-Jun-2018 01:02 847
Tactical.ALL_LT.txt 20-Jun-2018 01:02 767
Tactical.ALL_TAC.txt 20-Jun-2018 01:02 1033
Tactical.ASSUM_LIST.txt 20-Jun-2018 01:02 1699
Tactical.CHANGED_TAC.txt 20-Jun-2018 01:02 729
Tactical.EVERY.txt 20-Jun-2018 01:02 1096
Tactical.EVERY_ASSUM.txt 20-Jun-2018 01:02 1170
Tactical.EVERY_LT.txt 20-Jun-2018 01:02 1169
Tactical.FAIL_LT.txt 20-Jun-2018 01:02 660
Tactical.FAIL_TAC.txt 20-Jun-2018 01:02 1179
Tactical.FIRST.txt 20-Jun-2018 01:02 968
Tactical.FIRST_ASSUM.txt 20-Jun-2018 01:02 1653
Tactical.FIRST_PROVE.txt 20-Jun-2018 01:02 1086
Tactical.FIRST_X_ASSUM.txt 20-Jun-2018 01:02 2255
Tactical.GEN_VALIDATE.txt 20-Jun-2018 01:02 1682
Tactical.GEN_VALIDATE_LT.txt 20-Jun-2018 01:02 1594
Tactical.HEADGOAL.txt 20-Jun-2018 01:02 1045
Tactical.LASTGOAL.txt 20-Jun-2018 01:02 1024
Tactical.LAST_ASSUM.txt 20-Jun-2018 01:02 642
Tactical.LAST_X_ASSUM.txt 20-Jun-2018 01:02 715
Tactical.MAP_EVERY.txt 20-Jun-2018 01:02 1321
Tactical.MAP_FIRST.txt 20-Jun-2018 01:02 1243
Tactical.NO_LT.txt 20-Jun-2018 01:02 545
Tactical.NO_TAC.txt 20-Jun-2018 01:02 550
Tactical.NTH_GOAL.txt 20-Jun-2018 01:02 1220
Tactical.NULL_OK_LT.txt 20-Jun-2018 01:02 891
Tactical.ORELSE.txt 20-Jun-2018 01:02 784
Tactical.ORELSE_LT.txt 20-Jun-2018 01:02 844
Tactical.PAT_ASSUM.txt 20-Jun-2018 01:02 2581
Tactical.PAT_X_ASSUM.txt 20-Jun-2018 01:02 1196
Tactical.POP_ASSUM.txt 20-Jun-2018 01:02 2171
Tactical.POP_ASSUM_LIST.txt 20-Jun-2018 01:02 1764
Tactical.PRED_ASSUM.txt 20-Jun-2018 01:02 1199
Tactical.Q_TAC.txt 20-Jun-2018 01:02 1068
Tactical.REPEAT.txt 20-Jun-2018 01:02 766
Tactical.REPEAT_LT.txt 20-Jun-2018 01:02 785
Tactical.REVERSE.txt 20-Jun-2018 01:02 1077
Tactical.REVERSE_LT.txt 20-Jun-2018 01:02 643
Tactical.ROTATE_LT.txt 20-Jun-2018 01:02 941
Tactical.SPLIT_LT.txt 20-Jun-2018 01:02 1238
Tactical.SUBGOAL_THEN.txt 20-Jun-2018 01:02 1805
Tactical.TACS_TO_LT.txt 20-Jun-2018 01:02 1086
Tactical.TAC_PROOF.txt 20-Jun-2018 01:02 907
Tactical.THEN.txt 20-Jun-2018 01:02 1379
Tactical.THEN1.txt 20-Jun-2018 01:02 1485
Tactical.THENL.txt 20-Jun-2018 01:02 1255
Tactical.THEN_LT.txt 20-Jun-2018 01:02 1944
Tactical.TRY.txt 20-Jun-2018 01:02 690
Tactical.TRYALL.txt 20-Jun-2018 01:02 940
Tactical.TRY_LT.txt 20-Jun-2018 01:02 719
Tactical.USE_SG_THEN.txt 20-Jun-2018 01:02 2448
Tactical.VALID.txt 20-Jun-2018 01:02 896
Tactical.VALIDATE.txt 20-Jun-2018 01:02 2316
Tactical.VALIDATE_LT.txt 20-Jun-2018 01:02 2326
Tactical.VALID_LT.txt 20-Jun-2018 01:02 1271
Tactical.prove.txt 20-Jun-2018 01:02 925
Tactical.store_thm.txt 20-Jun-2018 01:02 771
Tag.isEmpty.txt 20-Jun-2018 01:02 637
Tag.merge.txt 20-Jun-2018 01:02 971
Tag.pp_tag.txt 20-Jun-2018 01:02 779
Tag.read.txt 20-Jun-2018 01:02 805
Tag.tag.txt 20-Jun-2018 01:02 802
Term.FVL.txt 20-Jun-2018 01:02 892
Term.aconv.txt 20-Jun-2018 01:02 754
Term.all_atoms.txt 20-Jun-2018 01:02 1555
Term.all_consts.txt 20-Jun-2018 01:02 2397
Term.all_vars.txt 20-Jun-2018 01:02 792
Term.all_varsl.txt 20-Jun-2018 01:02 928
Term.beta_conv.txt 20-Jun-2018 01:02 1460
Term.body.txt 20-Jun-2018 01:02 527
Term.bvar.txt 20-Jun-2018 01:02 537
Term.compare.txt 20-Jun-2018 01:02 869
Term.decls.txt 20-Jun-2018 01:02 988
Term.dest_abs.txt 20-Jun-2018 01:02 682
Term.dest_comb.txt 20-Jun-2018 01:02 695
Term.dest_const.txt 20-Jun-2018 01:02 843
Term.dest_thy_const.txt 20-Jun-2018 01:02 839
Term.dest_var.txt 20-Jun-2018 01:02 632
Term.empty_tmset.txt 20-Jun-2018 01:02 599
Term.empty_varset.txt 20-Jun-2018 01:02 630
Term.eta_conv.txt 20-Jun-2018 01:02 1097
Term.free_in.txt 20-Jun-2018 01:02 1189
Term.free_vars.txt 20-Jun-2018 01:02 924
Term.free_vars_lr.txt 20-Jun-2018 01:02 1175
Term.free_varsl.txt 20-Jun-2018 01:02 1008
Term.genvar.txt 20-Jun-2018 01:02 1524
Term.genvars.txt 20-Jun-2018 01:02 755
Term.inst.txt 20-Jun-2018 01:02 1422
Term.is_abs.txt 20-Jun-2018 01:02 567
Term.is_comb.txt 20-Jun-2018 01:02 594
Term.is_const.txt 20-Jun-2018 01:02 601
Term.is_genvar.txt 20-Jun-2018 01:02 885
Term.is_var.txt 20-Jun-2018 01:02 580
Term.list_mk_abs.txt 20-Jun-2018 01:02 1007
Term.list_mk_binder.txt 20-Jun-2018 01:02 3980
Term.list_mk_comb.txt 20-Jun-2018 01:02 998
Term.match_term.txt 20-Jun-2018 01:02 1441
Term.match_terml.txt 20-Jun-2018 01:02 1950
Term.mk_abs.txt 20-Jun-2018 01:02 618
Term.mk_comb.txt 20-Jun-2018 01:02 834
Term.mk_const.txt 20-Jun-2018 01:02 1907
Term.mk_primed_var.txt 20-Jun-2018 01:02 959
Term.mk_thy_const.txt 20-Jun-2018 01:02 1224
Term.mk_var.txt 20-Jun-2018 01:02 780
Term.norm_subst.txt 20-Jun-2018 01:02 2309
Term.prim_mk_const.txt 20-Jun-2018 01:02 1033
Term.prim_variant.txt 20-Jun-2018 01:02 1078
Term.rand.txt 20-Jun-2018 01:02 552
Term.rator.txt 20-Jun-2018 01:02 554
Term.raw_match.txt 20-Jun-2018 01:02 3995
Term.rename_bvar.txt 20-Jun-2018 01:02 880
Term.same_const.txt 20-Jun-2018 01:02 1004
Term.strip_abs.txt 20-Jun-2018 01:02 1011
Term.strip_binder.txt 20-Jun-2018 01:02 1420
Term.subst.txt 20-Jun-2018 01:02 1659
Term.term.txt 20-Jun-2018 01:02 933
Term.type_of.txt 20-Jun-2018 01:02 463
Term.type_vars_in_term.txt 20-Jun-2018 01:02 678
Term.var_compare.txt 20-Jun-2018 01:02 850
Term.var_occurs.txt 20-Jun-2018 01:02 854
Term.variant.txt 20-Jun-2018 01:02 1928
Theory.adjoin_to_theory.txt 20-Jun-2018 01:02 2998
Theory.ancestry.txt 20-Jun-2018 01:02 984
Theory.constants.txt 20-Jun-2018 01:02 898
Theory.current_axioms.txt 20-Jun-2018 01:02 761
Theory.current_definitions.txt 20-Jun-2018 01:02 1280
Theory.current_theorems.txt 20-Jun-2018 01:02 775
Theory.current_theory.txt 20-Jun-2018 01:02 2353
Theory.delete_binding.txt 20-Jun-2018 01:02 1585
Theory.delete_const.txt 20-Jun-2018 01:02 2135
Theory.delete_type.txt 20-Jun-2018 01:02 2281
Theory.export_theory.txt 20-Jun-2018 01:02 2248
Theory.new_axiom.txt 20-Jun-2018 01:02 1155
Theory.new_constant.txt 20-Jun-2018 01:02 1104
Theory.new_theory.txt 20-Jun-2018 01:02 4134
Theory.new_type.txt 20-Jun-2018 01:02 1216
Theory.parents.txt 20-Jun-2018 01:02 979
Theory.save_thm.txt 20-Jun-2018 01:02 1870
Theory.scrub.txt 20-Jun-2018 01:02 2589
Theory.set_MLname.txt 20-Jun-2018 01:02 2846
Theory.thy_addon.txt 20-Jun-2018 01:02 974
Theory.types.txt 20-Jun-2018 01:02 1222
Theory.uptodate_term.txt 20-Jun-2018 01:02 1876
Theory.uptodate_thm.txt 20-Jun-2018 01:02 1953
Theory.uptodate_type.txt 20-Jun-2018 01:02 1785
Thm.ABS.txt 20-Jun-2018 01:02 782
Thm.ALPHA.txt 20-Jun-2018 01:02 695
Thm.AP_TERM.txt 20-Jun-2018 01:02 832
Thm.AP_THM.txt 20-Jun-2018 01:02 868
Thm.ASSUME.txt 20-Jun-2018 01:02 639
Thm.BETA_CONV.txt 20-Jun-2018 01:02 1089
Thm.Beta.txt 20-Jun-2018 01:02 1027
Thm.CCONTR.txt 20-Jun-2018 01:02 953
Thm.CHOOSE.txt 20-Jun-2018 01:02 1095
Thm.CONJ.txt 20-Jun-2018 01:02 703
Thm.CONJUNCT1.txt 20-Jun-2018 01:02 713
Thm.CONJUNCT2.txt 20-Jun-2018 01:02 714
Thm.DISCH.txt 20-Jun-2018 01:02 860
Thm.DISJ1.txt 20-Jun-2018 01:02 680
Thm.DISJ2.txt 20-Jun-2018 01:02 670
Thm.DISJ_CASES.txt 20-Jun-2018 01:02 1692
Thm.EQ_IMP_RULE.txt 20-Jun-2018 01:02 902
Thm.EQ_MP.txt 20-Jun-2018 01:02 870
Thm.EXISTS.txt 20-Jun-2018 01:02 1243
Thm.GEN.txt 20-Jun-2018 01:02 1408
Thm.GENL.txt 20-Jun-2018 01:02 1046
Thm.GEN_ABS.txt 20-Jun-2018 01:02 2239
Thm.INST.txt 20-Jun-2018 01:02 1262
Thm.INST_TYPE.txt 20-Jun-2018 01:02 1563
Thm.MK_COMB.txt 20-Jun-2018 01:02 892
Thm.MP.txt 20-Jun-2018 01:02 1198
Thm.NOT_ELIM.txt 20-Jun-2018 01:02 670
Thm.NOT_INTRO.txt 20-Jun-2018 01:02 706
Thm.REFL.txt 20-Jun-2018 01:02 535
Thm.SPEC.txt 20-Jun-2018 01:02 1421
Thm.SUBST.txt 20-Jun-2018 01:02 2921
Thm.SYM.txt 20-Jun-2018 01:02 660
Thm.Specialize.txt 20-Jun-2018 01:02 976
Thm.TRANS.txt 20-Jun-2018 01:02 1062
Thm.add_tag.txt 20-Jun-2018 01:02 876
Thm.concl.txt 20-Jun-2018 01:02 486
Thm.dest_thm.txt 20-Jun-2018 01:02 600
Thm.hyp.txt 20-Jun-2018 01:02 603
Thm.mk_oracle_thm.txt 20-Jun-2018 01:02 3201
Thm.mk_thm.txt 20-Jun-2018 01:02 2160
Thm.tag.txt 20-Jun-2018 01:02 862
Thm.thm.txt 20-Jun-2018 01:02 980
Thm_cont.ALL_THEN.txt 20-Jun-2018 01:02 1017
Thm_cont.ANTE_RES_THEN.txt 20-Jun-2018 01:02 2184
Thm_cont.CASES_THENL.txt 20-Jun-2018 01:02 1833
Thm_cont.CHOOSE_THEN.txt 20-Jun-2018 01:02 1696
Thm_cont.CONJUNCTS_THEN.txt 20-Jun-2018 01:02 1636
Thm_cont.CONJUNCTS_THEN2.txt 20-Jun-2018 01:02 1429
Thm_cont.DISCH_THEN.txt 20-Jun-2018 01:02 1634
Thm_cont.DISJ_CASES_THEN.txt 20-Jun-2018 01:02 1864
Thm_cont.DISJ_CASES_THEN2.txt 20-Jun-2018 01:02 2138
Thm_cont.DISJ_CASES_THENL.txt 20-Jun-2018 01:02 1719
Thm_cont.EVERY_TCL.txt 20-Jun-2018 01:02 1050
Thm_cont.FIRST_TCL.txt 20-Jun-2018 01:02 1007
Thm_cont.IMP_RES_THEN.txt 20-Jun-2018 01:02 4001
Thm_cont.NO_THEN.txt 20-Jun-2018 01:02 765
Thm_cont.ORELSE_TCL.txt 20-Jun-2018 01:02 858
Thm_cont.PROVEHYP_THEN.txt 20-Jun-2018 01:02 1740
Thm_cont.REPEAT_GTCL.txt 20-Jun-2018 01:02 1095
Thm_cont.REPEAT_TCL.txt 20-Jun-2018 01:02 1401
Thm_cont.RES_THEN.txt 20-Jun-2018 01:02 3294
Thm_cont.STRIP_THM_THEN.txt 20-Jun-2018 01:02 2531
Thm_cont.THEN_TCL.txt 20-Jun-2018 01:02 825
Thm_cont.UNDISCH_THEN.txt 20-Jun-2018 01:02 1265
Thm_cont.X_CASES_THEN.txt 20-Jun-2018 01:02 2498
Thm_cont.X_CASES_THENL.txt 20-Jun-2018 01:02 2682
Thm_cont.X_CHOOSE_THEN.txt 20-Jun-2018 01:02 2038
TotalDefn.Define.txt 20-Jun-2018 01:02 460
TotalDefn.DefineSchema.txt 20-Jun-2018 01:02 3171
TotalDefn.WF_REL_TAC.txt 20-Jun-2018 01:02 463
TotalDefn.xDefine.txt 20-Jun-2018 01:02 474
Type.alpha.txt 20-Jun-2018 01:02 478
Type.arrow.txt 20-Jun-2018 01:02 787
Type.beta.txt 20-Jun-2018 01:02 477
Type.bool.txt 20-Jun-2018 01:02 473
Type.compare.txt 20-Jun-2018 01:02 788
Type.decls.txt 20-Jun-2018 01:02 870
Type.delta.txt 20-Jun-2018 01:02 478
Type.dest_thy_type.txt 20-Jun-2018 01:02 922
Type.dest_type.txt 20-Jun-2018 01:02 948
Type.dest_vartype.txt 20-Jun-2018 01:02 646
Type.dom_rng.txt 20-Jun-2018 01:02 756
Type.etyvar.txt 20-Jun-2018 01:02 505
Type.exists_tyvar.txt 20-Jun-2018 01:02 924
Type.ftyvar.txt 20-Jun-2018 01:02 505
Type.gamma.txt 20-Jun-2018 01:02 478
Type.gen_tyvar.txt 20-Jun-2018 01:02 1101
Type.hol_type.txt 20-Jun-2018 01:02 556
Type.ind.txt 20-Jun-2018 01:02 554
Type.is_gen_tyvar.txt 20-Jun-2018 01:02 571
Type.is_type.txt 20-Jun-2018 01:02 591
Type.is_vartype.txt 20-Jun-2018 01:02 604
Type.match_type.txt 20-Jun-2018 01:02 1040
Type.mk_thy_type.txt 20-Jun-2018 01:02 1309
Type.mk_type.txt 20-Jun-2018 01:02 1315
Type.mk_vartype.txt 20-Jun-2018 01:02 639
Type.op_arity.txt 20-Jun-2018 01:02 863
Type.polymorphic.txt 20-Jun-2018 01:02 918
Type.raw_match_type.txt 20-Jun-2018 01:02 1628
Type.type_subst.txt 20-Jun-2018 01:02 1381
Type.type_var_in.txt 20-Jun-2018 01:02 831
Type.type_vars.txt 20-Jun-2018 01:02 832
Type.type_varsl.txt 20-Jun-2018 01:02 910
TypeBase.txt 20-Jun-2018 01:02 2330
blastLib.BBLAST_CONV.txt 20-Jun-2018 01:02 2623
boolSimps.DNF_ss.txt 20-Jun-2018 01:02 1921
boolSimps.NORMEQ_ss.txt 20-Jun-2018 01:02 1010
boolSimps.bool_ss.txt 20-Jun-2018 01:02 513
boolSyntax.F.txt 20-Jun-2018 01:02 726
boolSyntax.T.txt 20-Jun-2018 01:02 724
boolSyntax.arb.txt 20-Jun-2018 01:02 674
boolSyntax.bool_case.txt 20-Jun-2018 01:02 717
boolSyntax.conditional.txt 20-Jun-2018 01:02 734
boolSyntax.conjunction.txt 20-Jun-2018 01:02 749
boolSyntax.dest_arb.txt 20-Jun-2018 01:02 671
boolSyntax.dest_bool_case.txt 20-Jun-2018 01:02 610
boolSyntax.dest_cond.txt 20-Jun-2018 01:02 578
boolSyntax.dest_conj.txt 20-Jun-2018 01:02 579
boolSyntax.dest_disj.txt 20-Jun-2018 01:02 595
boolSyntax.dest_eq.txt 20-Jun-2018 01:02 551
boolSyntax.dest_eq_ty.txt 20-Jun-2018 01:02 822
boolSyntax.dest_exists.txt 20-Jun-2018 01:02 625
boolSyntax.dest_exists1.txt 20-Jun-2018 01:02 590
boolSyntax.dest_forall.txt 20-Jun-2018 01:02 646
boolSyntax.dest_imp.txt 20-Jun-2018 01:02 1048
boolSyntax.dest_imp_only.txt 20-Jun-2018 01:02 664
boolSyntax.dest_let.txt 20-Jun-2018 01:02 650
boolSyntax.dest_neg.txt 20-Jun-2018 01:02 583
boolSyntax.dest_select.txt 20-Jun-2018 01:02 564
boolSyntax.dest_strip_comb.txt 20-Jun-2018 01:02 1164
boolSyntax.disjunction.txt 20-Jun-2018 01:02 749
boolSyntax.equality.txt 20-Jun-2018 01:02 741
boolSyntax.existential.txt 20-Jun-2018 01:02 755
boolSyntax.exists1.txt 20-Jun-2018 01:02 757
boolSyntax.implication.txt 20-Jun-2018 01:02 749
boolSyntax.is_arb.txt 20-Jun-2018 01:02 520
boolSyntax.is_bool_case.txt 20-Jun-2018 01:02 563
boolSyntax.is_cond.txt 20-Jun-2018 01:02 576
boolSyntax.is_conj.txt 20-Jun-2018 01:02 561
boolSyntax.is_disj.txt 20-Jun-2018 01:02 561
boolSyntax.is_eq.txt 20-Jun-2018 01:02 547
boolSyntax.is_exists.txt 20-Jun-2018 01:02 602
boolSyntax.is_exists1.txt 20-Jun-2018 01:02 604
boolSyntax.is_forall.txt 20-Jun-2018 01:02 603
boolSyntax.is_imp.txt 20-Jun-2018 01:02 839
boolSyntax.is_imp_only.txt 20-Jun-2018 01:02 666
boolSyntax.is_let.txt 20-Jun-2018 01:02 777
boolSyntax.is_neg.txt 20-Jun-2018 01:02 550
boolSyntax.is_select.txt 20-Jun-2018 01:02 552
boolSyntax.let_tm.txt 20-Jun-2018 01:02 698
boolSyntax.lhand.txt 20-Jun-2018 01:02 826
boolSyntax.lhs.txt 20-Jun-2018 01:02 534
boolSyntax.list_mk_abs.txt 20-Jun-2018 01:02 546
boolSyntax.list_mk_conj.txt 20-Jun-2018 01:02 851
boolSyntax.list_mk_disj.txt 20-Jun-2018 01:02 848
boolSyntax.list_mk_exists.txt 20-Jun-2018 01:02 703
boolSyntax.list_mk_forall.txt 20-Jun-2018 01:02 700
boolSyntax.list_mk_fun.txt 20-Jun-2018 01:02 633
boolSyntax.list_mk_icomb.txt 20-Jun-2018 01:02 1163
boolSyntax.list_mk_imp.txt 20-Jun-2018 01:02 915
boolSyntax.mk_arb.txt 20-Jun-2018 01:02 661
boolSyntax.mk_bool_case.txt 20-Jun-2018 01:02 936
boolSyntax.mk_cond.txt 20-Jun-2018 01:02 732
boolSyntax.mk_conj.txt 20-Jun-2018 01:02 569
boolSyntax.mk_disj.txt 20-Jun-2018 01:02 618
boolSyntax.mk_eq.txt 20-Jun-2018 01:02 513
boolSyntax.mk_exists.txt 20-Jun-2018 01:02 670
boolSyntax.mk_exists1.txt 20-Jun-2018 01:02 613
boolSyntax.mk_forall.txt 20-Jun-2018 01:02 668
boolSyntax.mk_icomb.txt 20-Jun-2018 01:02 1979
boolSyntax.mk_imp.txt 20-Jun-2018 01:02 642
boolSyntax.mk_let.txt 20-Jun-2018 01:02 1197
boolSyntax.mk_neg.txt 20-Jun-2018 01:02 489
boolSyntax.mk_select.txt 20-Jun-2018 01:02 588
boolSyntax.negation.txt 20-Jun-2018 01:02 742
boolSyntax.new_binder.txt 20-Jun-2018 01:02 1134
boolSyntax.new_binder_definition.txt 20-Jun-2018 01:02 3005
boolSyntax.new_infix.txt 20-Jun-2018 01:02 2440
boolSyntax.new_infixl_definition.txt 20-Jun-2018 01:02 3344
boolSyntax.new_infixr_definition.txt 20-Jun-2018 01:02 789
boolSyntax.rhs.txt 20-Jun-2018 01:02 513
boolSyntax.select.txt 20-Jun-2018 01:02 750
boolSyntax.strip_abs.txt 20-Jun-2018 01:02 645
boolSyntax.strip_comb.txt 20-Jun-2018 01:02 813
boolSyntax.strip_conj.txt 20-Jun-2018 01:02 859
boolSyntax.strip_disj.txt 20-Jun-2018 01:02 859
boolSyntax.strip_exists.txt 20-Jun-2018 01:02 711
boolSyntax.strip_forall.txt 20-Jun-2018 01:02 696
boolSyntax.strip_fun.txt 20-Jun-2018 01:02 839
boolSyntax.strip_imp.txt 20-Jun-2018 01:02 884
boolSyntax.strip_imp_only.txt 20-Jun-2018 01:02 911
boolSyntax.strip_neg.txt 20-Jun-2018 01:02 992
boolSyntax.universal.txt 20-Jun-2018 01:02 773
bossLib.ASM_QI_TAC.txt 20-Jun-2018 01:02 591
bossLib.ASM_SIMP_TAC.txt 20-Jun-2018 01:02 1191
bossLib.Cases.txt 20-Jun-2018 01:02 2456
bossLib.Cases_on.txt 20-Jun-2018 01:02 1119
bossLib.DECIDE.txt 20-Jun-2018 01:02 1366
bossLib.DECIDE_TAC.txt 20-Jun-2018 01:02 497
bossLib.Datatype.txt 20-Jun-2018 01:02 9823
bossLib.Define.txt 20-Jun-2018 01:02 12640
bossLib.EVAL.txt 20-Jun-2018 01:02 1290
bossLib.EVAL_RULE.txt 20-Jun-2018 01:02 1489
bossLib.EVAL_TAC.txt 20-Jun-2018 01:02 1295
bossLib.FULL_SIMP_TAC.txt 20-Jun-2018 01:02 2754
bossLib.GEN_EXISTS_TAC.txt 20-Jun-2018 01:02 685
bossLib.Hol_datatype.txt 20-Jun-2018 01:02 1290
bossLib.Hol_defn.txt 20-Jun-2018 01:02 10349
bossLib.Hol_reln.txt 20-Jun-2018 01:02 4971
bossLib.Induct.txt 20-Jun-2018 01:02 3971
bossLib.Induct_on.txt 20-Jun-2018 01:02 1909
bossLib.PROVE.txt 20-Jun-2018 01:02 1435
bossLib.PROVE_TAC.txt 20-Jun-2018 01:02 1394
bossLib.QI_TAC.txt 20-Jun-2018 01:02 555
bossLib.QI_ss.txt 20-Jun-2018 01:02 503
bossLib.REV_FULL_SIMP_TAC.txt 20-Jun-2018 01:02 863
bossLib.RW_TAC.txt 20-Jun-2018 01:02 2217
bossLib.SIMP_CONV.txt 20-Jun-2018 01:02 5773
bossLib.SIMP_RULE.txt 20-Jun-2018 01:02 1276
bossLib.SIMP_TAC.txt 20-Jun-2018 01:02 2516
bossLib.SPOSE_NOT_THEN.txt 20-Jun-2018 01:02 1480
bossLib.SQI_ss.txt 20-Jun-2018 01:02 426
bossLib.SRW_TAC.txt 20-Jun-2018 01:02 1914
bossLib.WF_REL_TAC.txt 20-Jun-2018 01:02 12110
bossLib.amper2.txt 20-Jun-2018 01:02 972
bossLib.arith_ss.txt 20-Jun-2018 01:02 4184
bossLib.augment_srw_ss.txt 20-Jun-2018 01:02 945
bossLib.bool_ss.txt 20-Jun-2018 01:02 3168
bossLib.by.txt 20-Jun-2018 01:02 1648
bossLib.cheat.txt 20-Jun-2018 01:02 1156
bossLib.completeInduct_on.txt 20-Jun-2018 01:02 1142
bossLib.list_ss.txt 20-Jun-2018 01:02 3177
bossLib.measureInduct_on.txt 20-Jun-2018 01:02 1018
bossLib.pairarg_tac.txt 20-Jun-2018 01:02 1151
bossLib.plus2.txt 20-Jun-2018 01:02 1048
bossLib.recInduct.txt 20-Jun-2018 01:02 2307
bossLib.rewrites.txt 20-Jun-2018 01:02 913
bossLib.split_pair_case_tac.txt 20-Jun-2018 01:02 1188
bossLib.srw_ss.txt 20-Jun-2018 01:02 1903
bossLib.std_ss.txt 20-Jun-2018 01:02 3303
bossLib.subgoal.txt 20-Jun-2018 01:02 696
bossLib.suffices_by.txt 20-Jun-2018 01:02 2366
bossLib.tDefine.txt 20-Jun-2018 01:02 3430
bossLib.type_rws.txt 20-Jun-2018 01:02 2558
bossLib.xDefine.txt 20-Jun-2018 01:02 2418
bossLib.zDefine.txt 20-Jun-2018 01:02 960
computeLib.CBV_CONV.txt 20-Jun-2018 01:02 4957
computeLib.RESTR_EVAL_CONV.txt 20-Jun-2018 01:02 1655
computeLib.RESTR_EVAL_RULE.txt 20-Jun-2018 01:02 705
computeLib.RESTR_EVAL_TAC.txt 20-Jun-2018 01:02 703
computeLib.bool_compset.txt 20-Jun-2018 01:02 815
computeLib.listItems.txt 20-Jun-2018 01:02 2450
computeLib.monitoring.txt 20-Jun-2018 01:02 1473
computeLib.transform.txt 20-Jun-2018 01:02 672
computeLib.unmapped.txt 20-Jun-2018 01:02 1984
dep_rewrite.DEP_ASM_REWRITE_TAC.txt 20-Jun-2018 01:02 1343
dep_rewrite.DEP_LIST_ASM_REWRITE_TAC.txt 20-Jun-2018 01:02 1898
dep_rewrite.DEP_LIST_REWRITE_TAC.txt 20-Jun-2018 01:02 1776
dep_rewrite.DEP_ONCE_ASM_REWRITE_TAC.txt 20-Jun-2018 01:02 1860
dep_rewrite.DEP_ONCE_REWRITE_TAC.txt 20-Jun-2018 01:02 1734
dep_rewrite.DEP_PURE_ASM_REWRITE_TAC.txt 20-Jun-2018 01:02 1570
dep_rewrite.DEP_PURE_LIST_ASM_REWRITE_TAC.txt 20-Jun-2018 01:02 2115
dep_rewrite.DEP_PURE_LIST_REWRITE_TAC.txt 20-Jun-2018 01:02 1998
dep_rewrite.DEP_PURE_ONCE_ASM_REWRITE_TAC.txt 20-Jun-2018 01:02 2087
dep_rewrite.DEP_PURE_ONCE_REWRITE_TAC.txt 20-Jun-2018 01:02 1961
dep_rewrite.DEP_PURE_REWRITE_TAC.txt 20-Jun-2018 01:02 1444
dep_rewrite.DEP_REWRITE_TAC.txt 20-Jun-2018 01:02 3823
doc.css 20-Jun-2018 01:02 513
fcpLib.FCP_ss.txt 20-Jun-2018 01:02 798
goalStack.print_tac.txt 20-Jun-2018 01:02 850
hol88Lib.GEN_ALL.txt 20-Jun-2018 01:02 935
hol88Lib.assoc.txt 20-Jun-2018 01:02 920
hol88Lib.frees.txt 20-Jun-2018 01:02 544
hol88Lib.match.txt 20-Jun-2018 01:02 1124
hol88Lib.rev_assoc.txt 20-Jun-2018 01:02 938
holCheckLib.empty_model.txt 20-Jun-2018 01:02 672
holCheckLib.get_flag_abs.txt 20-Jun-2018 01:02 464
holCheckLib.get_flag_ric.txt 20-Jun-2018 01:02 538
holCheckLib.get_init.txt 20-Jun-2018 01:02 499
holCheckLib.get_name.txt 20-Jun-2018 01:02 443
holCheckLib.get_props.txt 20-Jun-2018 01:02 512
holCheckLib.get_results.txt 20-Jun-2018 01:02 1812
holCheckLib.get_state.txt 20-Jun-2018 01:02 471
holCheckLib.get_trans.txt 20-Jun-2018 01:02 545
holCheckLib.get_vord.txt 20-Jun-2018 01:02 475
holCheckLib.holCheck.txt 20-Jun-2018 01:02 5402
holCheckLib.mk_state.txt 20-Jun-2018 01:02 872
holCheckLib.prove_model.txt 20-Jun-2018 01:02 1239
holCheckLib.set_flag_abs.txt 20-Jun-2018 01:02 747
holCheckLib.set_flag_ric.txt 20-Jun-2018 01:02 795
holCheckLib.set_init.txt 20-Jun-2018 01:02 1115
holCheckLib.set_name.txt 20-Jun-2018 01:02 739
holCheckLib.set_props.txt 20-Jun-2018 01:02 1694
holCheckLib.set_state.txt 20-Jun-2018 01:02 761
holCheckLib.set_trans.txt 20-Jun-2018 01:02 1705
holCheckLib.set_vord.txt 20-Jun-2018 01:02 1079
holyHammer.hh.txt 20-Jun-2018 01:02 1712
intLib.deprecate_int.txt 20-Jun-2018 01:02 2334
intLib.prefer_int.txt 20-Jun-2018 01:02 947
jrhUtils.HALF_MK_ABS.txt 20-Jun-2018 01:02 953
listLib.ALL_EL_CONV.txt 20-Jun-2018 01:02 1403
listLib.AND_EL_CONV.txt 20-Jun-2018 01:02 1185
listLib.APPEND_CONV.txt 20-Jun-2018 01:02 925
listLib.BUTFIRSTN_CONV.txt 20-Jun-2018 01:02 812
listLib.BUTLASTN_CONV.txt 20-Jun-2018 01:02 802
listLib.BUTLAST_CONV.txt 20-Jun-2018 01:02 693
listLib.ELL_CONV.txt 20-Jun-2018 01:02 899
listLib.EL_CONV.txt 20-Jun-2018 01:02 754
listLib.EQ_LENGTH_INDUCT_TAC.txt 20-Jun-2018 01:02 1594
listLib.EQ_LENGTH_SNOC_INDUCT_TAC.txt 20-Jun-2018 01:02 1623
listLib.FILTER_CONV.txt 20-Jun-2018 01:02 1189
listLib.FIRSTN_CONV.txt 20-Jun-2018 01:02 791
listLib.FLAT_CONV.txt 20-Jun-2018 01:02 912
listLib.FOLDL_CONV.txt 20-Jun-2018 01:02 1593
listLib.FOLDR_CONV.txt 20-Jun-2018 01:02 1591
listLib.GENLIST_CONV.txt 20-Jun-2018 01:02 974
listLib.IS_EL_CONV.txt 20-Jun-2018 01:02 1254
listLib.LASTN_CONV.txt 20-Jun-2018 01:02 787
listLib.LAST_CONV.txt 20-Jun-2018 01:02 665
listLib.LENGTH_CONV.txt 20-Jun-2018 01:02 845
listLib.LIST_CONV.txt 20-Jun-2018 01:02 5651
listLib.LIST_INDUCT_TAC.txt 20-Jun-2018 01:02 1426
listLib.MAP2_CONV.txt 20-Jun-2018 01:02 1991
listLib.MAP_CONV.txt 20-Jun-2018 01:02 2501
listLib.OR_EL_CONV.txt 20-Jun-2018 01:02 1169
listLib.PURE_LIST_CONV.txt 20-Jun-2018 01:02 5049
listLib.REPLICATE_CONV.txt 20-Jun-2018 01:02 921
listLib.REVERSE_CONV.txt 20-Jun-2018 01:02 898
listLib.SCANL_CONV.txt 20-Jun-2018 01:02 1726
listLib.SCANR_CONV.txt 20-Jun-2018 01:02 1728
listLib.SEG_CONV.txt 20-Jun-2018 01:02 1048
listLib.SNOC_CONV.txt 20-Jun-2018 01:02 964
listLib.SNOC_INDUCT_TAC.txt 20-Jun-2018 01:02 1444
listLib.SOME_EL_CONV.txt 20-Jun-2018 01:02 1414
listLib.SUM_CONV.txt 20-Jun-2018 01:02 987
listLib.X_LIST_CONV.txt 20-Jun-2018 01:02 5850
listLib.list_FOLD_CONV.txt 20-Jun-2018 01:02 1801
listLib.list_thm_database.txt 20-Jun-2018 01:02 1689
listLib.set_list_thm_database.txt 20-Jun-2018 01:02 3307
listSyntax.dest_cons.txt 20-Jun-2018 01:02 763
listSyntax.dest_list.txt 20-Jun-2018 01:02 646
listSyntax.is_cons.txt 20-Jun-2018 01:02 616
listSyntax.is_list.txt 20-Jun-2018 01:02 588
listSyntax.mk_cons.txt 20-Jun-2018 01:02 666
listSyntax.mk_list.txt 20-Jun-2018 01:02 744
mesonLib.ASM_MESON_TAC.txt 20-Jun-2018 01:02 817
mesonLib.GEN_MESON_TAC.txt 20-Jun-2018 01:02 2084
mesonLib.MESON_TAC.txt 20-Jun-2018 01:02 2532
normalForms.CNF_CONV.txt 20-Jun-2018 01:02 1507
numLib.ARITH_CONV.txt 20-Jun-2018 01:02 4325
numLib.INDUCT_TAC.txt 20-Jun-2018 01:02 1250
numLib.LEAST_ELIM_TAC.txt 20-Jun-2018 01:02 1841
numLib.REDUCE_CONV.txt 20-Jun-2018 01:02 979
numLib.SUC_TO_NUMERAL_DEFN_CONV.txt 20-Jun-2018 01:02 1778
numLib.num_CONV.txt 20-Jun-2018 01:02 588
numSyntax.dest_numeral.txt 20-Jun-2018 01:02 1199
numSyntax.is_numeral.txt 20-Jun-2018 01:02 1092
numSyntax.mk_numeral.txt 20-Jun-2018 01:02 674
pairLib.PairCases_on.txt 20-Jun-2018 01:02 1842
pairSyntax.dest_anylet.txt 20-Jun-2018 01:02 1404
pairSyntax.dest_pabs.txt 20-Jun-2018 01:02 676
pairSyntax.dest_pair.txt 20-Jun-2018 01:02 627
pairSyntax.dest_pexists.txt 20-Jun-2018 01:02 744
pairSyntax.dest_pforall.txt 20-Jun-2018 01:02 744
pairSyntax.dest_prod.txt 20-Jun-2018 01:02 628
pairSyntax.dest_pselect.txt 20-Jun-2018 01:02 681
pairSyntax.genvarstruct.txt 20-Jun-2018 01:02 1366
pairSyntax.is_pabs.txt 20-Jun-2018 01:02 579
pairSyntax.is_pair.txt 20-Jun-2018 01:02 525
pairSyntax.is_pexists.txt 20-Jun-2018 01:02 609
pairSyntax.is_pforall.txt 20-Jun-2018 01:02 605
pairSyntax.is_prod.txt 20-Jun-2018 01:02 541
pairSyntax.is_pselect.txt 20-Jun-2018 01:02 578
pairSyntax.list_mk_anylet.txt 20-Jun-2018 01:02 1207
pairSyntax.list_mk_pabs.txt 20-Jun-2018 01:02 635
pairSyntax.list_mk_pair.txt 20-Jun-2018 01:02 681
pairSyntax.mk_anylet.txt 20-Jun-2018 01:02 1475
pairSyntax.mk_pabs.txt 20-Jun-2018 01:02 694
pairSyntax.mk_pair.txt 20-Jun-2018 01:02 521
pairSyntax.mk_prod.txt 20-Jun-2018 01:02 528
pairSyntax.pbody.txt 20-Jun-2018 01:02 516
pairSyntax.spine_pair.txt 20-Jun-2018 01:02 647
pairSyntax.strip_anylet.txt 20-Jun-2018 01:02 1324
pairSyntax.strip_pabs.txt 20-Jun-2018 01:02 679
pairSyntax.strip_pair.txt 20-Jun-2018 01:02 668
pairSyntax.strip_pexists.txt 20-Jun-2018 01:02 704
pairSyntax.strip_pforall.txt 20-Jun-2018 01:02 699
patriciaLib.Define_mk_ptree.txt 20-Jun-2018 01:02 2932
patriciaLib.PTREE_ADD_CONV.txt 20-Jun-2018 01:02 1076
patriciaLib.PTREE_CONV.txt 20-Jun-2018 01:02 3030
patriciaLib.PTREE_DEFN_CONV.txt 20-Jun-2018 01:02 1222
patriciaLib.PTREE_DEPTH_CONV.txt 20-Jun-2018 01:02 950
patriciaLib.PTREE_EVERY_LEAF_CONV.txt 20-Jun-2018 01:02 1300
patriciaLib.PTREE_EXISTS_LEAF_CONV.txt 20-Jun-2018 01:02 1280
patriciaLib.PTREE_INSERT_PTREE_CONV.txt 20-Jun-2018 01:02 1080
patriciaLib.PTREE_IN_PTREE_CONV.txt 20-Jun-2018 01:02 1040
patriciaLib.PTREE_IS_PTREE_CONV.txt 20-Jun-2018 01:02 1206
patriciaLib.PTREE_PEEK_CONV.txt 20-Jun-2018 01:02 974
patriciaLib.PTREE_REMOVE_CONV.txt 20-Jun-2018 01:02 993
patriciaLib.PTREE_SIZE_CONV.txt 20-Jun-2018 01:02 939
patriciaLib.PTREE_TRANSFORM_CONV.txt 20-Jun-2018 01:02 1073
patriciaLib.dest_ptree.txt 20-Jun-2018 01:02 1177
patriciaLib.is_ptree.txt 20-Jun-2018 01:02 745
patriciaLib.mk_ptree.txt 20-Jun-2018 01:02 1119
pred_setLib.DELETE_CONV.txt 20-Jun-2018 01:02 2240
pred_setLib.FINITE_CONV.txt 20-Jun-2018 01:02 821
pred_setLib.IMAGE_CONV.txt 20-Jun-2018 01:02 4267
pred_setLib.INSERT_CONV.txt 20-Jun-2018 01:02 3116
pred_setLib.IN_CONV.txt 20-Jun-2018 01:02 2570
pred_setLib.SET_INDUCT_TAC.txt 20-Jun-2018 01:02 1444
pred_setLib.SET_SPEC_CONV.txt 20-Jun-2018 01:02 1204
pred_setLib.UNION_CONV.txt 20-Jun-2018 01:02 2689
proofManagerLib.b.txt 20-Jun-2018 01:02 939
proofManagerLib.backup.txt 20-Jun-2018 01:02 2333
proofManagerLib.e.txt 20-Jun-2018 01:02 901
proofManagerLib.eall.txt 20-Jun-2018 01:02 924
proofManagerLib.elt.txt 20-Jun-2018 01:02 800
proofManagerLib.enth.txt 20-Jun-2018 01:02 965
proofManagerLib.eta.txt 20-Jun-2018 01:02 1020
proofManagerLib.expand.txt 20-Jun-2018 01:02 4556
proofManagerLib.expand_list.txt 20-Jun-2018 01:02 3545
proofManagerLib.expand_listf.txt 20-Jun-2018 01:02 2200
proofManagerLib.expandf.txt 20-Jun-2018 01:02 2977
proofManagerLib.flatn.txt 20-Jun-2018 01:02 1405
proofManagerLib.forget_history.txt 20-Jun-2018 01:02 1137
proofManagerLib.g.txt 20-Jun-2018 01:02 1157
proofManagerLib.p.txt 20-Jun-2018 01:02 856
proofManagerLib.r.txt 20-Jun-2018 01:02 1413
proofManagerLib.restart.txt 20-Jun-2018 01:02 1070
proofManagerLib.restore.txt 20-Jun-2018 01:02 1319
proofManagerLib.save.txt 20-Jun-2018 01:02 1371
proofManagerLib.set_backup.txt 20-Jun-2018 01:02 1701
proofManagerLib.set_goal.txt 20-Jun-2018 01:02 3478
proofManagerLib.top_goal.txt 20-Jun-2018 01:02 1084
proofManagerLib.top_thm.txt 20-Jun-2018 01:02 1273
pureSimps.pure_ss.txt 20-Jun-2018 01:02 2590
quantHeuristicsLib.ASM_QUANT_INSTANTIATE_TAC.txt 20-Jun-2018 01:02 913
quantHeuristicsLib.FAST_ASM_QUANT_INSTANTIATE_T..> 20-Jun-2018 01:02 608
quantHeuristicsLib.FAST_QUANT_INSTANTIATE_CONV.txt 20-Jun-2018 01:02 601
quantHeuristicsLib.FAST_QUANT_INSTANTIATE_TAC.txt 20-Jun-2018 01:02 596
quantHeuristicsLib.FAST_QUANT_INST_ss.txt 20-Jun-2018 01:02 476
quantHeuristicsLib.QUANT_INSTANTIATE_CONV.txt 20-Jun-2018 01:02 1787
quantHeuristicsLib.QUANT_INSTANTIATE_TAC.txt 20-Jun-2018 01:02 925
quantHeuristicsLib.QUANT_INST_ss.txt 20-Jun-2018 01:02 461
quantHeuristicsLib.QUANT_TAC.txt 20-Jun-2018 01:02 2236
quantHeuristicsLib.SIMPLE_QUANT_INSTANTIATE_CON..> 20-Jun-2018 01:02 1680
quantHeuristicsLib.SIMPLE_QUANT_INST_ss.txt 20-Jun-2018 01:02 496
reduceLib.ADD_CONV.txt 20-Jun-2018 01:02 831
reduceLib.AND_CONV.txt 20-Jun-2018 01:02 1106
reduceLib.BEQ_CONV.txt 20-Jun-2018 01:02 1144
reduceLib.COND_CONV.txt 20-Jun-2018 01:02 1091
reduceLib.DIV_CONV.txt 20-Jun-2018 01:02 1155
reduceLib.EXP_CONV.txt 20-Jun-2018 01:02 961
reduceLib.GE_CONV.txt 20-Jun-2018 01:02 882
reduceLib.GT_CONV.txt 20-Jun-2018 01:02 964
reduceLib.IMP_CONV.txt 20-Jun-2018 01:02 1117
reduceLib.LE_CONV.txt 20-Jun-2018 01:02 877
reduceLib.LT_CONV.txt 20-Jun-2018 01:02 975
reduceLib.MOD_CONV.txt 20-Jun-2018 01:02 1063
reduceLib.MUL_CONV.txt 20-Jun-2018 01:02 826
reduceLib.NEQ_CONV.txt 20-Jun-2018 01:02 784
reduceLib.NOT_CONV.txt 20-Jun-2018 01:02 818
reduceLib.OR_CONV.txt 20-Jun-2018 01:02 1109
reduceLib.PRE_CONV.txt 20-Jun-2018 01:02 857
reduceLib.REDUCE_CONV.txt 20-Jun-2018 01:02 1390
reduceLib.REDUCE_RULE.txt 20-Jun-2018 01:02 754
reduceLib.REDUCE_TAC.txt 20-Jun-2018 01:02 1117
reduceLib.RED_CONV.txt 20-Jun-2018 01:02 1116
reduceLib.SBC_CONV.txt 20-Jun-2018 01:02 844
reduceLib.SUC_CONV.txt 20-Jun-2018 01:02 732
res_quanLib.IMP_RES_FORALL_CONV.txt 20-Jun-2018 01:02 728
res_quanLib.RESQ_HALF_SPEC.txt 20-Jun-2018 01:02 894
res_quanLib.RESQ_REWRITE1_CONV.txt 20-Jun-2018 01:02 1577
res_quanLib.RESQ_REWRITE1_TAC.txt 20-Jun-2018 01:02 1487
res_quanLib.RESQ_REWR_CANON.txt 20-Jun-2018 01:02 1211
res_quanLib.RESQ_SPEC.txt 20-Jun-2018 01:02 1102
res_quanLib.RES_EXISTS_CONV.txt 20-Jun-2018 01:02 812
res_quanLib.RES_EXISTS_UNIQUE_CONV.txt 20-Jun-2018 01:02 875
res_quanLib.RES_FORALL_AND_CONV.txt 20-Jun-2018 01:02 687
res_quanLib.RES_FORALL_CONV.txt 20-Jun-2018 01:02 800
res_quanLib.RES_FORALL_SWAP_CONV.txt 20-Jun-2018 01:02 791
res_quanLib.RES_SELECT_CONV.txt 20-Jun-2018 01:02 802
res_quanLib.dest_res_abstract.txt 20-Jun-2018 01:02 728
res_quanLib.dest_res_exists.txt 20-Jun-2018 01:02 792
res_quanLib.dest_res_exists_unique.txt 20-Jun-2018 01:02 809
res_quanLib.dest_res_forall.txt 20-Jun-2018 01:02 786
res_quanLib.dest_res_select.txt 20-Jun-2018 01:02 745
res_quanLib.is_res_abstract.txt 20-Jun-2018 01:02 596
res_quanLib.is_res_exists.txt 20-Jun-2018 01:02 618
res_quanLib.is_res_exists_unique.txt 20-Jun-2018 01:02 661
res_quanLib.is_res_forall.txt 20-Jun-2018 01:02 614
res_quanLib.is_res_select.txt 20-Jun-2018 01:02 608
res_quanLib.list_mk_res_exists.txt 20-Jun-2018 01:02 841
res_quanLib.list_mk_res_forall.txt 20-Jun-2018 01:02 837
res_quanLib.mk_res_abstract.txt 20-Jun-2018 01:02 645
res_quanLib.mk_res_exists.txt 20-Jun-2018 01:02 684
res_quanLib.mk_res_exists_unique.txt 20-Jun-2018 01:02 694
res_quanLib.mk_res_forall.txt 20-Jun-2018 01:02 680
res_quanLib.mk_res_select.txt 20-Jun-2018 01:02 645
res_quanLib.strip_res_exists.txt 20-Jun-2018 01:02 907
res_quanLib.strip_res_forall.txt 20-Jun-2018 01:02 899
res_quanTools.IMP_RES_FORALL_CONV.txt 20-Jun-2018 01:02 719
res_quanTools.RESQ_EXISTS_TAC.txt 20-Jun-2018 01:02 916
res_quanTools.RESQ_GEN_TAC.txt 20-Jun-2018 01:02 1170
res_quanTools.RESQ_HALF_SPEC.txt 20-Jun-2018 01:02 918
res_quanTools.RESQ_IMP_RES_TAC.txt 20-Jun-2018 01:02 1104
res_quanTools.RESQ_IMP_RES_THEN.txt 20-Jun-2018 01:02 1340
res_quanTools.RESQ_MATCH_MP.txt 20-Jun-2018 01:02 1253
res_quanTools.RESQ_RES_TAC.txt 20-Jun-2018 01:02 1199
res_quanTools.RESQ_RES_THEN.txt 20-Jun-2018 01:02 1562
res_quanTools.RESQ_REWRITE1_CONV.txt 20-Jun-2018 01:02 1733
res_quanTools.RESQ_REWRITE1_TAC.txt 20-Jun-2018 01:02 1642
res_quanTools.RESQ_REWR_CANON.txt 20-Jun-2018 01:02 1302
res_quanTools.RESQ_SPEC.txt 20-Jun-2018 01:02 1335
res_quanTools.RESQ_SPECL.txt 20-Jun-2018 01:02 1377
res_quanTools.RES_EXISTS_CONV.txt 20-Jun-2018 01:02 813
res_quanTools.RES_FORALL_AND_CONV.txt 20-Jun-2018 01:02 688
res_quanTools.RES_FORALL_CONV.txt 20-Jun-2018 01:02 799
res_quanTools.RES_FORALL_SWAP_CONV.txt 20-Jun-2018 01:02 793
res_quanTools.dest_res_abstract.txt 20-Jun-2018 01:02 734
res_quanTools.dest_res_exists.txt 20-Jun-2018 01:02 800
res_quanTools.dest_res_forall.txt 20-Jun-2018 01:02 794
res_quanTools.dest_res_select.txt 20-Jun-2018 01:02 751
res_quanTools.is_res_abstract.txt 20-Jun-2018 01:02 602
res_quanTools.is_res_exists.txt 20-Jun-2018 01:02 624
res_quanTools.is_res_forall.txt 20-Jun-2018 01:02 620
res_quanTools.is_res_select.txt 20-Jun-2018 01:02 614
res_quanTools.list_mk_res_exists.txt 20-Jun-2018 01:02 845
res_quanTools.list_mk_res_forall.txt 20-Jun-2018 01:02 843
res_quanTools.mk_res_abstract.txt 20-Jun-2018 01:02 651
res_quanTools.mk_res_exists.txt 20-Jun-2018 01:02 690
res_quanTools.mk_res_forall.txt 20-Jun-2018 01:02 688
res_quanTools.mk_res_select.txt 20-Jun-2018 01:02 651
res_quanTools.strip_res_exists.txt 20-Jun-2018 01:02 913
res_quanTools.strip_res_forall.txt 20-Jun-2018 01:02 907
ringLib.declare_ring.txt 20-Jun-2018 01:02 3217
simpLib.AC.txt 20-Jun-2018 01:02 1260
simpLib.ASM_SIMP_RULE.txt 20-Jun-2018 01:02 908
simpLib.ASM_SIMP_TAC.txt 20-Jun-2018 01:02 497
simpLib.Cong.txt 20-Jun-2018 01:02 1514
simpLib.FULL_SIMP_TAC.txt 20-Jun-2018 01:02 501
simpLib.SIMP_CONV.txt 20-Jun-2018 01:02 483
simpLib.SIMP_PROVE.txt 20-Jun-2018 01:02 1197
simpLib.SIMP_RULE.txt 20-Jun-2018 01:02 489
simpLib.SIMP_TAC.txt 20-Jun-2018 01:02 481
simpLib.SSFRAG.txt 20-Jun-2018 01:02 8107
simpLib.mk_simpset.txt 20-Jun-2018 01:02 755
simpLib.plus2.txt 20-Jun-2018 01:02 464
simpLib.remove_ssfrags.txt 20-Jun-2018 01:02 1182
simpLib.rewrites.txt 20-Jun-2018 01:02 488
simpLib.type_ssfrag.txt 20-Jun-2018 01:02 1738
tautLib.PTAUT_CONV.txt 20-Jun-2018 01:02 1663
tautLib.PTAUT_PROVE.txt 20-Jun-2018 01:02 1183
tautLib.PTAUT_TAC.txt 20-Jun-2018 01:02 1053
tautLib.TAUT_CONV.txt 20-Jun-2018 01:02 1459
tautLib.TAUT_PROVE.txt 20-Jun-2018 01:02 1487
tautLib.TAUT_TAC.txt 20-Jun-2018 01:02 1116
term_grammar.clear_overloads.txt 20-Jun-2018 01:02 1900
unwindLib.CONJ_FORALL_CONV.txt 20-Jun-2018 01:02 1377
unwindLib.CONJ_FORALL_ONCE_CONV.txt 20-Jun-2018 01:02 1409
unwindLib.CONJ_FORALL_RIGHT_RULE.txt 20-Jun-2018 01:02 936
unwindLib.DEPTH_EXISTS_CONV.txt 20-Jun-2018 01:02 815
unwindLib.DEPTH_FORALL_CONV.txt 20-Jun-2018 01:02 813
unwindLib.EXISTS_DEL1_CONV.txt 20-Jun-2018 01:02 644
unwindLib.EXISTS_DEL_CONV.txt 20-Jun-2018 01:02 821
unwindLib.EXISTS_EQN_CONV.txt 20-Jun-2018 01:02 724
unwindLib.EXPAND_ALL_BUT_CONV.txt 20-Jun-2018 01:02 2086
unwindLib.EXPAND_ALL_BUT_RIGHT_RULE.txt 20-Jun-2018 01:02 2127
unwindLib.EXPAND_AUTO_CONV.txt 20-Jun-2018 01:02 2434
unwindLib.EXPAND_AUTO_RIGHT_RULE.txt 20-Jun-2018 01:02 2433
unwindLib.FLATTEN_CONJ_CONV.txt 20-Jun-2018 01:02 738
unwindLib.FORALL_CONJ_CONV.txt 20-Jun-2018 01:02 1144
unwindLib.FORALL_CONJ_ONCE_CONV.txt 20-Jun-2018 01:02 1368
unwindLib.FORALL_CONJ_RIGHT_RULE.txt 20-Jun-2018 01:02 938
unwindLib.PRUNE_CONV.txt 20-Jun-2018 01:02 1594
unwindLib.PRUNE_ONCE_CONV.txt 20-Jun-2018 01:02 1349
unwindLib.PRUNE_ONE_CONV.txt 20-Jun-2018 01:02 1858
unwindLib.PRUNE_RIGHT_RULE.txt 20-Jun-2018 01:02 1710
unwindLib.PRUNE_SOME_CONV.txt 20-Jun-2018 01:02 2250
unwindLib.PRUNE_SOME_RIGHT_RULE.txt 20-Jun-2018 01:02 2327
unwindLib.UNFOLD_CONV.txt 20-Jun-2018 01:02 1180
unwindLib.UNFOLD_RIGHT_RULE.txt 20-Jun-2018 01:02 1312
unwindLib.UNWIND_ALL_BUT_CONV.txt 20-Jun-2018 01:02 1426
unwindLib.UNWIND_ALL_BUT_RIGHT_RULE.txt 20-Jun-2018 01:02 1629
unwindLib.UNWIND_AUTO_CONV.txt 20-Jun-2018 01:02 1472
unwindLib.UNWIND_AUTO_RIGHT_RULE.txt 20-Jun-2018 01:02 1657
unwindLib.UNWIND_CONV.txt 20-Jun-2018 01:02 1456
unwindLib.UNWIND_ONCE_CONV.txt 20-Jun-2018 01:02 1815
unwindLib.line_name.txt 20-Jun-2018 01:02 552
unwindLib.line_var.txt 20-Jun-2018 01:02 555
wordsLib.BITS_INTRO_CONV.txt 20-Jun-2018 01:02 936
wordsLib.BITS_INTRO_ss.txt 20-Jun-2018 01:02 457
wordsLib.BIT_ss.txt 20-Jun-2018 01:02 896
wordsLib.EXPAND_REDUCE_CONV.txt 20-Jun-2018 01:02 673
wordsLib.Induct_word.txt 20-Jun-2018 01:02 740
wordsLib.LESS_CONV.txt 20-Jun-2018 01:02 561
wordsLib.SIZES_CONV.txt 20-Jun-2018 01:02 555
wordsLib.SIZES_ss.txt 20-Jun-2018 01:02 1023
wordsLib.WORDS_EMIT_RULE.txt 20-Jun-2018 01:02 1722
wordsLib.WORD_ARITH_CONV.txt 20-Jun-2018 01:02 1063
wordsLib.WORD_ARITH_EQ_ss.txt 20-Jun-2018 01:02 1249
wordsLib.WORD_ARITH_ss.txt 20-Jun-2018 01:02 1869
wordsLib.WORD_BIT_EQ_CONV.txt 20-Jun-2018 01:02 760
wordsLib.WORD_BIT_EQ_ss.txt 20-Jun-2018 01:02 1608
wordsLib.WORD_CANCEL_CONV.txt 20-Jun-2018 01:02 415
wordsLib.WORD_CANCEL_ss.txt 20-Jun-2018 01:02 1081
wordsLib.WORD_CONV.txt 20-Jun-2018 01:02 742
wordsLib.WORD_DECIDE.txt 20-Jun-2018 01:02 938
wordsLib.WORD_DECIDE_TAC.txt 20-Jun-2018 01:02 488
wordsLib.WORD_DIV_LSR_CONV.txt 20-Jun-2018 01:02 681
wordsLib.WORD_DP.txt 20-Jun-2018 01:02 1648
wordsLib.WORD_EVAL_CONV.txt 20-Jun-2018 01:02 947
wordsLib.WORD_EXTRACT_ss.txt 20-Jun-2018 01:02 1538
wordsLib.WORD_LOGIC_CONV.txt 20-Jun-2018 01:02 779
wordsLib.WORD_LOGIC_ss.txt 20-Jun-2018 01:02 1366
wordsLib.WORD_MOD_BITS_CONV.txt 20-Jun-2018 01:02 775
wordsLib.WORD_MUL_LSL_CONV.txt 20-Jun-2018 01:02 755
wordsLib.WORD_MUL_LSL_ss.txt 20-Jun-2018 01:02 1245
wordsLib.WORD_SHIFT_ss.txt 20-Jun-2018 01:02 1686
wordsLib.WORD_SUB_CONV.txt 20-Jun-2018 01:02 1152
wordsLib.WORD_SUB_ss.txt 20-Jun-2018 01:02 654
wordsLib.WORD_ss.txt 20-Jun-2018 01:02 1481
wordsLib.guess_lengths.txt 20-Jun-2018 01:02 1332
wordsLib.inst_word_lengths.txt 20-Jun-2018 01:02 1122
wordsLib.mk_word_size.txt 20-Jun-2018 01:02 942
wordsLib.n2w_INTRO_TAC.txt 20-Jun-2018 01:02 887
wordsLib.notify_on_word_length_guess.txt 20-Jun-2018 01:02 1013
wordsLib.output_words_as.txt 20-Jun-2018 01:02 1418
wordsLib.output_words_as_bin.txt 20-Jun-2018 01:02 737
wordsLib.output_words_as_dec.txt 20-Jun-2018 01:02 874
wordsLib.output_words_as_hex.txt 20-Jun-2018 01:02 744
wordsLib.output_words_as_oct.txt 20-Jun-2018 01:02 992
wordsLib.remove_word_printer.txt 20-Jun-2018 01:02 1051