Examples of FFF clause files (executed with
#load "name.fff";
):
FFF clause files
x.fff
main.fff
p1.fff
p2.fff
p3.fff
p4.fff
p5.fff
ex6.fff
infsup.fff
t1.fff
FFF runs for some files above:
x-run.log
main-run.log
ex6-run.log
t1-run.log