Lars Noschinski questions

Lars Noschinski answers

• Why is a meta-universally quantified variable renamed and how is it prevented?
• Is it possible to not import any theory in Isabelle?
• What's the Git approach to publish a patch queue?
• Wrong file permission when using git pull in a hook
• Print Diamond Pattern using Haskell
• Max of set in Isabelle
• Pointer to int. C++
• Apply a method if and only if it solves the current goal
• Git merge, then revert, then revert the revert
• Best way for substring replace in haskell