4 Commits

Author	SHA1	Message	Date
aarne	33b02b477f	sync with laptop version, irrelevant changes	2008-05-29 22:32:58 +00:00
aarne	99f19c65b3	some fixes in pattern matching in Compute	2008-05-27 20:54:31 +00:00
aarne	f8365037d0	type computed in table T [...]	2008-05-29 08:23:23 +00:00
aarne	0ee4a7d11f	established resource-1.4 and moved contents of resource/exper there	2008-04-28 07:18:02 +00:00