Maximilian Keßler (via gitlab runner) 36b0972be6 fix refproof bugs: correct restoring of counter values and claim style numberings in stacked proofs ... Build branch v2.4.6 (c0e4705) from kesslermaximilian/LatexPackages		2022-01-30 21:02:56 +00:00
..
mkessler-fancythm.sty	fix refproof bugs: correct restoring of counter values and claim style numberings in stacked proofs	2022-01-30 21:02:56 +00:00
mkessler-thmstyle.sty	fix refproof bugs: correct restoring of counter values and claim style numberings in stacked proofs	2022-01-30 21:02:56 +00:00