History log of /hets/PGIP/Server/Examples.hs
Revision Date Author Comments Expand
b5b5f5a2ebf5297bad207ef8f6621cdf441b75ed 13-Dec-2017 Till Mossakowski <till@iws.cs.ovgu.de>

fixes #1816
c3e1064ac97dff032126f79620d19ba50af79f05 03-Dec-2017 Till Mossakowski <till@iws.cs.ovgu.de>

small examples for 5 more logics
ec7a83ac4ba478fbe923e8919d89758dd2ecef03 02-Dec-2017 Till Mossakowski <till@iws.cs.ovgu.de>

more meaningful examples
4811c997e10bcfbd8e0fdfb130c3368abd33bbca 30-Nov-2017 Eugen Kuksa <kuksa.eugen@gmail.com>

Restructure more, add examples.