| Wed, 31 Oct 2012 11:23:21 +0100 | blanchet | moved "SAT" before "FunDef" and moved back all SAT-related ML files to where they belong | file | diff | annotate |
| Wed, 22 Aug 2012 22:55:41 +0200 | wenzelm | prefer ML_file over old uses; | file | diff | annotate |
| Mon, 23 Apr 2012 21:44:36 +0200 | wenzelm | more standard method setup; | file | diff | annotate |
| Thu, 12 Apr 2012 18:39:19 +0200 | wenzelm | more standard method setup; | file | diff | annotate |
| Thu, 15 Mar 2012 22:08:53 +0100 | wenzelm | declare command keywords via theory header, including strict checking outside Pure; | file | diff | annotate |
| Sat, 18 Feb 2012 09:46:58 +0100 | krauss | added congruence rules for Option.{map|bind} | file | diff | annotate |
| Sat, 23 Oct 2010 23:42:04 +0200 | krauss | integrated partial_function into HOL-Plain | file | diff | annotate |