Re: [isabelle] Print Heading *before* theory (nice to have)



On 16.10.2013 09:40, Holger Blasum wrote:
> Is there a simple and maintainable way to move
> the content of the heading ("Fibonacci") *before* 
> "theory fib"? 

You can use the "header" command.

  -- Lars




This archive was generated by a fusion of Pipermail (Mailman edition) and MHonArc.