openETCS/ERTMSFormalSpecs — pull request #440 by JamesOakey (2014-02-27 12:18:35+00:00)
Title: Orange Belt track conditions modelling

Many, many changes to how the track conditions are stored
Different types of track condition kept in separated namespaces (to avoid function duplication)
Comments are welcome!