coq - The formal proof system

Age	Commit message (Collapse)	Author
2018-10-04	rename test files (do not start by a digit)	Vincent Laporte

2018-03-30	Change Implicit Arguments to Arguments in test-suite	Jasper Hugunin

2014-12-19	Fixing wrong notation level in #3295.	Hugo Herbelin

2014-06-10	Add many more cases to the test-suite	Jason Gross
	I'd add more, but I'm tired and it's late and I should sleep. Maybe I'll pick up at 3279 (working down) another day. Bug 3344 is broken; [Fail Defined.] says that [Defined] has not failed, even though it raises an anomaly. So there's no way I can think of to test it. I've left it in the [opened] directory anyway.