[isabelle-dev] prems

Clemens Ballarin ballarin at in.tum.de
Wed Nov 21 18:00:37 CET 2007

The new PG seems to colour the word "prems" red wherever it occurs.   
I think this is overdoing it a bit: prems is just a name and doesn't  
belong to a syntactic category (correct me if I'm wrong).  Users  
might introduce this name and rightfully use it.


More information about the isabelle-dev mailing list