IntEx.thy
Sat, 05 Dec 2009 13:49:35 +0100 Christian Urban added three examples to IntEx for testing ideas - regularisation and injection seem to be not quite right yet
Fri, 04 Dec 2009 21:42:55 +0100 Christian Urban not yet quite functional treatment of constants
less more (0) -30 -10 -2 tip