This document contains a history of this page, from the current version to the earliest one available.
| Version | Name | User | Date | Time | |
| current | propositionale | ysh03-132-226.uibk.ac.at | 30 November 2004 | 9:24 pm | |
| propositionale Funktionen | 12-2214-2.wh-burse.uni-wuppertal.de | 3 December 2003 | 6:13 pm | ||
| propositionale Funktionen | c-134-92-114.hh.dial.de.ignite.net | 29 December 2002 | 1:54 am | ||
| propositionale Funktionen | 192.168.0.96 | 18 December 2002 | 1:51 pm | ||
| propositionale Funktionen | 192.168.0.96 | 18 December 2002 | 1:38 pm | ||
| propositionale Funktionen | 192.168.0.96 | 18 December 2002 | 1:38 pm | ||