library import - breaking up the program

[anuradha252]

Here are the steps I followed to break up the modules into library + import

1. Removed all the module above the very last module and stored it in a separate file say library.alm
2. Added theory theoryname as the very first line of this file library.alm.
   It looks like the theory name is the same as the library file so theory library. Should this be the case?
3. In the inheriting file, we use the syntax

        import library from commonsense_library

4. library above is the name of the theory we are inheriting. commonsense_library seems to be the name of the folder the theory file is located in

Are the above steps correct?