changeset 67215 | 03d0c958d65a |
parent 67159 | deccbba7cfe3 |
child 67224 | 341fbce5b26d |
67214:87038a574d09 | 67215:03d0c958d65a |
---|---|
556 Induction_Schema |
556 Induction_Schema |
557 Intuitionistic |
557 Intuitionistic |
558 Lagrange |
558 Lagrange |
559 List_to_Set_Comprehension_Examples |
559 List_to_Set_Comprehension_Examples |
560 LocaleTest2 |
560 LocaleTest2 |
561 ML |
561 "ML" |
562 MergeSort |
562 MergeSort |
563 MonoidGroup |
563 MonoidGroup |
564 Multiquote |
564 Multiquote |
565 NatSum |
565 NatSum |
566 Normalization_by_Evaluation |
566 Normalization_by_Evaluation |