• ffa/ffademo/bin/README
• ffa/ffademo/demo_ch1.adb modified
• ffa/ffademo/demo_ch1.ads
• ffa/ffademo/demo_ch2.adb modified
• ffa/ffademo/demo_ch2.ads modified
• ffa/ffademo/ffa_demo.adb modified
• ffa/ffademo/ffa_demo.gpr
• ffa/ffademo/ffa_io.adb
• ffa/ffademo/ffa_io.ads
• ffa/ffademo/obj/README
• ffa/ffademo/README
• ffa/libffa/ffa.gpr
• ffa/libffa/fz_arith.adb
• ffa/libffa/fz_arith.ads
• ffa/libffa/fz_basic.adb modified
• ffa/libffa/fz_basic.ads modified
• ffa/libffa/fz_bitop.adb modified
• ffa/libffa/fz_bitop.ads modified
• ffa/libffa/fz_cmp.adb modified
• ffa/libffa/fz_cmp.ads modified
• ffa/libffa/fz_pred.adb modified
• ffa/libffa/fz_pred.ads modified
• ffa/libffa/fz_type.ads
• ffa/libffa/iron.ads
• ffa/libffa/lib/README
• ffa/libffa/obj/README
• ffa/libffa/README
• ffa/libffa/restrict.adc
• ffa/libffa/w_pred.adb modified
• ffa/libffa/w_pred.ads modified
• ffa/libffa/w_shifts.ads
• ffa/libffa/word_ops.adb modified
• ffa/libffa/word_ops.ads modified
• ffa/libffa/words.ads
• ffa/README modified