equal
deleted
inserted
replaced
63 HOL-Old_Number_Theory \ |
63 HOL-Old_Number_Theory \ |
64 HOL-Quotient_Examples \ |
64 HOL-Quotient_Examples \ |
65 HOL-Predicate_Compile_Examples \ |
65 HOL-Predicate_Compile_Examples \ |
66 HOL-Prolog \ |
66 HOL-Prolog \ |
67 HOL-Proofs-ex \ |
67 HOL-Proofs-ex \ |
68 HOL-Proofs-Lambda \ |
|
69 HOL-SET_Protocol \ |
68 HOL-SET_Protocol \ |
70 HOL-SPARK-Examples \ |
69 HOL-SPARK-Examples \ |
71 HOL-SPARK-Manual \ |
70 HOL-SPARK-Manual \ |
72 HOL-Word-SMT_Examples \ |
71 HOL-Word-SMT_Examples \ |
73 HOL-Statespace \ |
72 HOL-Statespace \ |
78 HOL-UNITY \ |
77 HOL-UNITY \ |
79 HOL-Unix \ |
78 HOL-Unix \ |
80 HOL-Word-Examples \ |
79 HOL-Word-Examples \ |
81 HOL-ZF |
80 HOL-ZF |
82 # ^ this is the sort position |
81 # ^ this is the sort position |
|
82 |
|
83 # FIXME HOL-Proofs-Lambda |
83 |
84 |
84 generate: \ |
85 generate: \ |
85 HOL-HOL4-Generate \ |
86 HOL-HOL4-Generate \ |
86 HOL-HOL_Light-Generate |
87 HOL-HOL_Light-Generate |
87 |
88 |