John Wiegley ad96cc8bf9 twelf: new expression; prover for PL theory and logic		2014-06-26 15:54:45 -07:00
..
default.nix	twelf: new expression; prover for PL theory and logic	2014-06-26 15:54:45 -07:00