• ffa/ffacalc/bin/README
• ffa/ffacalc/cmdline.adb
• ffa/ffacalc/cmdline.ads
• ffa/ffacalc/ffa_calc.adb
• ffa/ffacalc/ffa_calc.gpr
• ffa/ffacalc/ffa_io.adb
• ffa/ffacalc/ffa_io.ads
• ffa/ffacalc/obj/README
• ffa/ffacalc/os.adb
• ffa/ffacalc/os.ads
• ffa/ffacalc/README
• ffa/ffademo/bin/README
• ffa/ffademo/demo_ch1.adb
• ffa/ffademo/demo_ch1.ads
• ffa/ffademo/demo_ch2.adb
• ffa/ffademo/demo_ch2.ads
• ffa/ffademo/demo_ch3.adb
• ffa/ffademo/demo_ch3.ads
• ffa/ffademo/ffa_demo.adb
• 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
• ffa/libffa/fz_basic.ads
• ffa/libffa/fz_bitop.adb
• ffa/libffa/fz_bitop.ads
• ffa/libffa/fz_cmp.adb
• ffa/libffa/fz_cmp.ads
• ffa/libffa/fz_divis.adb modified
• ffa/libffa/fz_divis.ads modified
• ffa/libffa/fz_lim.adb
• ffa/libffa/fz_lim.ads
• ffa/libffa/fz_modex.adb modified
• ffa/libffa/fz_modex.ads
• ffa/libffa/fz_mul.adb modified
• ffa/libffa/fz_mul.ads
• ffa/libffa/fz_pred.adb
• ffa/libffa/fz_pred.ads
• ffa/libffa/fz_shift.adb
• ffa/libffa/fz_shift.ads
• 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
• ffa/libffa/w_pred.ads
• ffa/libffa/w_shifts.ads
• ffa/libffa/word_ops.adb
• ffa/libffa/word_ops.ads
• ffa/libffa/words.ads
• ffa/README