2014-05-01 panny add additional check to avoid selector formula right-hand side consisting of a nullary constructor getting interpreted as a discriminator formula
2014-05-01 wenzelm updated keywords;
2014-04-30 wenzelm clarified signature: load_file is still required internally;
2014-04-30 wenzelm merged
2014-04-30 wenzelm some support for session-qualified theories: allow to refer to resources via qualified name instead of odd file-system path;
2014-04-30 wenzelm support for long names in Scala;
Loading...
(0) -30000 -10000 -3000 -1000 -300 -100 -30 -10 -6 +6 +10 +30 +100 +300 +1000 +3000 +10000 tip