Isabelle/Unsorted sessions

Naproche

Isabelle/Naproche main session
Naproche-Test

Isabelle/Naproche test session