2003-05-27 paulson removed redundant line
2003-05-27 paulson updating ZF-UNITY with Sidi's new material
2003-05-26 streckem Introduced distinction wf_prog vs. ws_prog
2003-05-26 kleing set HOL_PROOF_OBJECTS in settings, not makefile (makes override in user settings possible)
2003-05-24 kleing fixed
2003-05-23 kleing make it possible to switch off proof objects for HOL image
2003-05-23 kleing make it possible to switch off proof objects
2003-05-20 kleing be less verbose about simplification depth
2003-05-18 kleing fix typo
2003-05-18 kleing attach log files
2003-05-18 kleing more cleanup
2003-05-18 kleing fix mime stuff
2003-05-18 kleing attach log files
2003-05-18 kleing support text file attachments
2003-05-16 webertj Added a few lemmas about map_le
2003-05-15 kleing give tests time to copy settings
2003-05-14 schirmer Added Bali to test
2003-05-14 schirmer Adapted to changes in Map.thy
2003-05-14 kleing use proof objects for HOL by default
2003-05-14 nipkow eparation logic - a beginning.
2003-05-14 nipkow *** empty log message ***
2003-05-14 nipkow *** empty log message ***
2003-05-14 nipkow *** empty log message ***
2003-05-13 kleing HOL-Real -> HOL-Complex Isabelle2003
2003-05-12 nipkow *** empty log message ***
2003-05-12 paulson tweaked
2003-05-12 nipkow *** empty log message ***
2003-05-12 paulson oops
Loading...
(0) -10000 -3000 -1000 -300 -100 -50 -28 +28 +50 +100 +300 +1000 +3000 +10000 +30000 tip