Snapshot of notes on formal concept lattices, archive of PVS formalization, start of a bibliography, and a snapshot of a paper about the PVS formalization.
Merge with Ekkart's push.
Ignoring emacs backup files.