started with transitions in formal documentg
authorMart Lubbers <mart@martlubbers.net>
Tue, 19 Apr 2016 13:14:04 +0000 (15:14 +0200)
committerMart Lubbers <mart@martlubbers.net>
Tue, 19 Apr 2016 13:14:04 +0000 (15:14 +0200)
commitd8496404fca14bd5f221987df167930f482c622b
treeb733687cb7938ff1132ae66d81bcd83eb8e70650
parentc6614798075e5c772798d2fc2471e4d9cab39075
started with transitions in formal documentg
report2/implementation.tex