[isabelle-dev] Library/List_Prefix

[Christian Sternagel]

On 09/03/2012 08:29 AM, Gerwin Klein wrote:
> You attached a patch, but I'm not sure anyone feels responsible for pushing it ;-)
>
> Have you been working on this with someone from Munich?
No, against my own advice ( 
https://isabelle.in.tum.de/community/Publish_contributions_as_an_external ) 
I haven't.

The reply that got me going was the rather noncommittal:

On 04/28/2012 05:05 PM, Florian Haftmann wrote:
 > Consoldiations to the library are always welcome!

Until someone plucks up courage (or it is decided that my changes are 
not worth committing) I'll keep rebasing ;)

cheers

chris