IntEx.thy
Sat, 05 Dec 2009 16:26:18 +0100 Christian Urban made some slight simplifications to the examples
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
less more (0) -30 -10 -2 tip