David Raymond Christiansen 1edba410d4 Add environment argument to Elab.Tactics.check ... Now, type checking can be performed in arbitrary environments.		2015-10-15 14:42:49 +02:00
..
base	Remove NErased	2015-10-09 12:07:54 +02:00
contrib	Merge remote-tracking branch 'upstream/master' into wip/tactical	2015-09-23 13:24:36 +02:00
effects	Merge pull request #2683 from jfdm/perf-effect	2015-10-01 15:09:42 +01:00
oldeffects	Address semantic differences in putting things to STDOUT.	2015-03-06 17:26:33 +00:00
prelude	Add environment argument to Elab.Tactics.check	2015-10-15 14:42:49 +02:00
pruviloj	Add environment argument to Elab.Tactics.check	2015-10-15 14:42:49 +02:00
Makefile	Library of tactics for proof automation with Elab	2015-09-25 13:24:42 +02:00