- [X] `TIP_prop_01.thy`:
- [X] `TIP_prop_02.thy`:
- [X] `TIP_prop_03.thy`:
- [X] `TIP_prop_04.thy`:
- [X] `TIP_prop_05.thy`:
- [X] `TIP_prop_06.thy`:
- [X] `TIP_prop_07.thy`:
- [X] `TIP_prop_08.thy`:
- [X] `TIP_prop_09.thy`:
- [X] `TIP_prop_10.thy`:
- [X] `TIP_prop_11.thy`:
- [X] `TIP_prop_12.thy`:
- [X] `TIP_prop_13.thy`:
- [X] `TIP_prop_14.thy`:
- [X] `TIP_prop_15.thy`:
- [X] `TIP_prop_16.thy`:
- [X] `TIP_prop_17.thy`:
- [X] `TIP_prop_18.thy`:
- [X] `TIP_prop_19.thy`:
- [X] `TIP_prop_20.thy`:
- [X] `TIP_prop_21.thy`:
- [X] `TIP_prop_22.thy`:
- [X] `TIP_prop_23.thy`:
- [X] `TIP_prop_24.thy`:
- [X] `TIP_prop_25.thy`:
- [X] `TIP_prop_26.thy`:
- [X] `TIP_prop_27.thy`:
- [X] `TIP_prop_28.thy`:
- [X] `TIP_prop_29.thy`:
- [X] `TIP_prop_30.thy`:
- [X] `TIP_prop_31.thy`:
- [X] `TIP_prop_32.thy`:
- [X] `TIP_prop_33.thy`:
- [X] `TIP_prop_34.thy`:
- [X] `TIP_prop_35.thy`:
- [X] `TIP_prop_36.thy`:
- [X] `TIP_prop_37.thy`:
- [X] `TIP_prop_38.thy`:
- [X] `TIP_prop_39.thy`:
- [X] `TIP_prop_40.thy`:
- [X] `TIP_prop_41.thy`:
- [X] `TIP_prop_42.thy`:
- [X] `TIP_prop_43.thy`:
- [X] `TIP_prop_44.thy`:
- [X] `TIP_prop_45.thy`:
- [ ] `TIP_prop_46.thy`:
- [ ] `TIP_prop_47.thy`:
- [ ] `TIP_prop_48.thy`:
- [X] `TIP_prop_49.thy`:
- [ ] `TIP_prop_50.thy`:
- [X] `TIP_prop_51.thy`:
- [ ] `TIP_prop_52.thy`:
- [ ] `TIP_prop_53.thy`:
- [ ] `TIP_prop_54.thy`:
- [X] `TIP_prop_55.thy`:
- [ ] `TIP_prop_56.thy`:
- [X] `TIP_prop_57.thy`:
- [X] `TIP_prop_58.thy`:
- [X] `TIP_prop_59.thy`:
- [ ] `TIP_prop_60.thy`:FIXME: nitpick found a counter-example.
- [X] `TIP_prop_61.thy`:
- [ ] `TIP_prop_62.thy`:FIXME: nitpick found a counter-example.
- [ ] `TIP_prop_63.thy`:
- [X] `TIP_prop_64.thy`:
- [X] `TIP_prop_65.thy`:
- [ ] `TIP_prop_66.thy`:
- [ ] `TIP_prop_67.thy`:
- [ ] `TIP_prop_68.thy`:
- [ ] `TIP_prop_69.thy`:
- [ ] `TIP_prop_70.thy`:
- [ ] `TIP_prop_71.thy`:
- [ ] `TIP_prop_72.thy`:
- [ ] `TIP_prop_73.thy`:
- [ ] `TIP_prop_74.thy`:
- [ ] `TIP_prop_75.thy`:
- [ ] `TIP_prop_76.thy`:
- [ ] `TIP_prop_77.thy`:
- [ ] `TIP_prop_78.thy`:
- [ ] `TIP_prop_79.thy`:
- [ ] `TIP_prop_80.thy`:
- [ ] `TIP_prop_81.thy`:
- [ ] `TIP_prop_82.thy`:
- [ ] `TIP_prop_83.thy`:
- [ ] `TIP_prop_84.thy`:
- [ ] `TIP_prop_85.thy`:
- [ ] `TIP_prop_86.thy`:
