1:BUILD_BY[name] student5
1:BUILD_ENVIRONMENT[operating system 32 vs 64] Linux ubuntu 3.8.0-23-generic #34-Ubuntu SMP Wed May 29 20:22:58 UTC 2013 x86_64 x86_64 x86_64 GNU/Linux (Ubuntu 13.04)
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
VERIFY:ANALYSIS_BY[name]
VERIFY:STATUS[unknown,needed,not_needed,started,finished] unknown
VERIFY:COMMENT[string]