Mon, 23 Mar 2009 19:01:15 +0100 | haftmann | suddenly infix identifier oo occurs in generated code | file | diff | annotate |
Wed, 11 Mar 2009 10:58:18 +0100 | hoelzl | Updated paths in Decision_Procs comments and NEWS | file | diff | annotate |
Sat, 21 Feb 2009 20:52:30 +0100 | nipkow | Removed subsumed lemmas | file | diff | annotate |
Fri, 06 Feb 2009 15:15:32 +0100 | haftmann | session Reflecion renamed to Decision_Procs, moved Dense_Linear_Order there | file | diff | annotate | base |