Nominal/Perm.thy
Tue, 04 May 2010 14:33:50 +0100 Christian Urban fixed my error with define_raw_fv
Tue, 04 May 2010 07:22:33 +0100 Christian Urban tuned
Tue, 04 May 2010 06:24:54 +0100 Christian Urban roll back of the last commit (there was a difference)
Tue, 04 May 2010 06:05:13 +0100 Christian Urban tuned
less more (0) -10 -4 tip