Re: [CZT-Devel] theorem environment - comments pls?

[Anthony H. <an...@an...>]

Apologies, this bit of my last post wasn't very sensible:

 

...  (what's wrong with "everything up to the first newline is the name"?)
....

 

because of course we don't even know it's a theorem para till we get to the
vdash. Sorry. 

Perhaps since the standard doesn't allow an antecedent one could take
everything between the ZED and the vdash? as the name?

 

Anthony