Tue, 31 May 2016 21:06:46 +0200 | traytel | merged | changeset | files |
Tue, 31 May 2016 14:56:51 +0200 | traytel | moved lemma from afp | changeset | files |
Tue, 31 May 2016 18:31:33 +0200 | Lars Hupel | ignore Maven build products | changeset | files |
Tue, 31 May 2016 12:24:43 +0200 | blanchet | added test | changeset | files |
Tue, 31 May 2016 11:54:45 +0200 | blanchet | made parsing of monomorphic/polymorphic constants more robust | changeset | files |
Tue, 31 May 2016 10:53:11 +0200 | blanchet | more flexible parsing (towards type class support) | changeset | files |