src/Doc/Implementation/Logic.thy
Tue, 30 Jul 2019 20:09:25 +0200 wenzelm clarified global theory context;
Tue, 30 Jul 2019 14:35:29 +0200 wenzelm clarified modules: provide reconstruct_proof / expand_proof at the bottom of proof term construction;
less more (0) -30 -10 -2 tip