| Thu, 04 Sep 2014 14:02:37 +0200 | hoelzl | cleanup Wfrec; introduce dependent_wf/wellorder_choice | file | diff | annotate |
| Thu, 30 Jan 2014 12:27:42 +0100 | traytel | define ofilter outside of wo_rel | file | diff | annotate |
| Fri, 17 Jan 2014 10:02:50 +0100 | blanchet | folded 'Wellfounded_More_FP' into 'Wellfounded' | file | diff | annotate |
| Fri, 17 Jan 2014 10:02:49 +0100 | blanchet | folded 'Order_Relation_More_FP' into 'Order_Relation' | file | diff | annotate |
| Thu, 21 Nov 2013 21:33:34 +0100 | blanchet | moving 'Order_Relation' to 'HOL' (since it's a BNF dependency) | file | diff | annotate | base |
| Wed, 03 Dec 2008 15:58:44 +0100 | haftmann | made repository layout more coherent with logical distribution structure; stripped some $Id$s | file | diff | annotate | base |