Sun, 13 Nov 2005 22:36:30 +0100 | urbanc | changed the HOL_basic_ss back and selectively added | file | diff | annotate |
Sun, 13 Nov 2005 20:33:36 +0100 | urbanc | exchanged HOL_ss for HOL_basic_ss in the simplification | file | diff | annotate |
Mon, 07 Nov 2005 10:47:25 +0100 | urbanc | fixed bug with nominal induct | file | diff | annotate |
Tue, 01 Nov 2005 23:54:29 +0100 | urbanc | tunings of some comments (nothing serious) | file | diff | annotate |
Mon, 17 Oct 2005 12:30:57 +0200 | berghofe | Initial revision. | file | diff | annotate |