2015-01-30 Christian Urban updated more
2015-01-30 Christian Urban updated
2015-01-29 Christian Urban updated
2015-01-29 Christian Urban added some notes (still incomplete)
2015-01-29 fahad no changes
2015-01-29 Christian Urban added some lemmas, attempted others
2015-01-26 fahad test
2015-01-26 fahad test
2015-01-26 Fahad Ausaf fahad's experiments
2015-01-21 Christian Urban updated
2015-01-19 Christian Urban added a function for calculating values
2014-12-26 Christian Urban added a paper to Literature
2014-12-09 Christian Urban added Pr theory
2014-11-12 Fahad Ausaf msc project
2014-11-09 Fahad Ausaf Code Samples
2014-11-09 Fahad Ausaf test
2014-11-08 fahad Test changes through linux
2014-11-06 Christian Urban updated
2014-11-04 fahadausaf a1
2014-11-04 fahadausaf new algo
2014-11-02 Christian Urban slightly polished the scala file re.scala
2014-11-01 fahadausaf commit
2014-11-01 fahadausaf Handout 2
2014-10-28 Christian Urban merged
2014-10-28 Christian Urban added a file for calculating all answers...still incomplete
2014-10-27 fahadausaf new
2014-10-26 fahadausaf no message
2014-10-26 fahadausaf POSIX Algorithm
2014-10-25 fahadausaf scala by example code
2014-10-13 fahadausaf Proof Automation
2014-10-10 fahadausaf trees
2014-10-08 Christian Urban added done to the proof.
2014-10-08 Christian Urban deleted temporary files
2014-10-07 fahadausaf lemma
2014-10-07 Christian Urban added type information to produce the expected result with value
2014-10-07 fahadausaf commit
2014-10-07 fahadausaf Count
2014-10-06 fahadausaf add
2014-10-06 Christian Urban some small changes
2014-10-06 fahadausaf abc
2014-10-06 fahadausaf c
2014-10-06 fahadausaf multiply 2
2014-10-06 fahadausaf associative-commutative
2014-10-06 fahadausaf multiply
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
(0) +224 tip