| Tue, 08 Aug 2006 08:19:18 +0200 | haftmann | adding code lemma now works as expected | changeset | files |
| Tue, 08 Aug 2006 08:19:15 +0200 | haftmann | added more examples | changeset | files |
| Tue, 08 Aug 2006 08:19:11 +0200 | haftmann | dropped duplicated line | changeset | files |
| Tue, 08 Aug 2006 08:19:06 +0200 | haftmann | added Tools/typedef_codegen.ML | changeset | files |
| Tue, 08 Aug 2006 08:18:59 +0200 | haftmann | abandoned equal_list in favor for eq_list | changeset | files |
| Mon, 07 Aug 2006 17:43:51 +0200 | berghofe | Simple ML script for producing Gnuplot files from | changeset | files |
| Mon, 07 Aug 2006 03:10:38 +0200 | webertj | title fixed | changeset | files |
| Sat, 05 Aug 2006 15:15:07 +0200 | wenzelm | updated; | changeset | files |
| Sat, 05 Aug 2006 14:55:09 +0200 | wenzelm | avoid low-level tsig; | changeset | files |
| Sat, 05 Aug 2006 14:52:58 +0200 | wenzelm | reworked read_instantiate -- separate read_insts; | changeset | files |
| Sat, 05 Aug 2006 14:52:57 +0200 | wenzelm | tuned; | changeset | files |
| Sat, 05 Aug 2006 14:52:55 +0200 | wenzelm | removed obsolete sign_of; | changeset | files |
| Sat, 05 Aug 2006 14:52:53 +0200 | wenzelm | Amine Chaieb: experimental generic reflection and reification in HOL; | changeset | files |
| Sat, 05 Aug 2006 00:52:17 +0200 | isatest | use atbroy101 instead of atbroy98 (freezes up) | changeset | files |