on 4e15c07 help sign in
1 file
../ TutorialD.hsrestore IntAtom/IntegerAtom but prefer IntegerAtom wherever possible