add a header and a bit about predicates in the prereq section of computability
add definition for decidablility
add an example for decidability
add definition for standard form of URMs in computability
add definition continuous functions to ms
move the URM length definition to the initial definition of an URM.
Explicitly set out the second definition of URM which replaces the first
bold the definitions in URM definition
computability - add defs for concatenation of URMs and working space
tweak wording
remove require.js reference. there is no such thing.
add example for computing the composition of computable functions (unary functions to begin)
Add example for composition with a binary function
add new section on substitution
tweak latex for the substitution machine
Merge branch 'master' into gh-pages
rebuild HTML