1:BUILD_BY[name] student4
1:BUILD_ENVIRONMENT[operating system 32 vs 64]

1:END_BUILD_ENVIRONMENT
1:DEPENDENCIES[list of dependencies with where to get them]
Isabelle
AFP ( http://afp.sourceforge.net/using.shtml )
1:END_DEPENDENCIES
1:NOTES[notes on attempted build]

Problem with Isabel src file
I needed to link AFP with Isabelle

Finally when I linked that and loaded ALM.thy it didn't give errors which indicates that it is logically consistant.

1:END_NOTES



2:BUILD_BY[name] 
2:BUILD_ENVIRONMENT[operating system 32 vs 64]

2:END_BUILD_ENVIRONMENT
2:DEPENDENCIES[list of dependencies with where to get them]

2:END_DEPENDENCIES
2:NOTES[notes on attempted build]

2:END_NOTES