Notes on Hilbert Lattices