2014-10-06 fahadausaf calculator
2014-09-25 Christian Urban fixed the scala implementation
2014-09-22 fahadausaf Delete POSIX_ALT2
2014-09-19 Christian Urban changed theory name
2014-09-19 Christian Urban added test version
2014-09-10 fahadausaf commit by fahad
2014-09-09 Christian Urban started a few arguments for the ALT case
2014-09-08 Christian Urban cleaned up the theory
2014-09-08 Christian Urban getting back the original version by Sulzmann
2014-09-08 Christian Urban initial version of the theory
2014-09-03 Christian Urban added Crashcourse paper to literature
2014-08-15 Christian Urban added all toy implementations
2014-08-15 Christian Urban deleted big pdf file
2014-08-15 Christian Urban added relevant paper by Tobias Nipkow
2014-08-15 Christian Urban initial commit
No more entries
(0) +192 tip