4 Commits

Author	SHA1	Message	Date
Louis Dionne	d132db0ebf	Use finer grained assertions acknowledging Constants	2014-08-05 10:37:54 -04:00
Louis Dionne	7e8f109d7f	Modularize List and add a minimal instance	2014-07-16 16:26:23 -04:00
Louis Dionne	aea42f9d18	Integral: Fix a bug with negative literals.	2014-06-05 22:45:55 -04:00
Louis Dionne	12058791c7	Documentation: improvements in Integral	2014-06-04 22:04:55 -04:00