o added a command in interactive mode for all the pos in a file
o fixed an error in latex code generation where the \ before false was not escaped
o changed the order in which the lambda definitions are produced to improve locality
o in the train-station-set example, replaced an invariant by "injective.loc"
o made some progress on the lock-free example
o *** added many theorems about functions, like injective and properties of ranges ***
o added some machinerie to improve the recovery from exceptions from the prover