Mercurial
Mercurial
>
repos
>
isabelle
/ graph
summary
|
shortlog
|
changelog
| graph |
tags
|
bookmarks
|
branches
|
files
|
gz
|
help
less
more
|
(0)
-10000
-3000
-1000
-300
-100
-60
+60
+100
+300
+1000
+3000
+10000
+30000
tip
Find changesets by keywords (author, files, the commit message), revision number or hash, or
revset expression
.
The revision graph only works with JavaScript-enabled browsers.
simplified lemma correct_frames_newref
2002-10-27, by kleing
switched to atbroy51, removed markus from email list
2002-10-26, by isatest
fixed latex output
2002-10-25, by kleing
changes for cleanup in JVM
2002-10-24, by kleing
cleanup, beautified
2002-10-24, by kleing
fixed latex error
2002-10-24, by kleing
ASIN -> SET
2002-10-24, by nipkow
*** empty log message ***
2002-10-23, by streckem
First checkin of compiler
2002-10-23, by streckem
Added compiler
2002-10-23, by streckem
Eta contraction is now switched off when printing extracted program.
2002-10-21, by berghofe
Fixed problem with theorems containing TFrees.
2002-10-21, by berghofe
- reconstruct_proof no longer relies on TypeInfer.infer_types
2002-10-21, by berghofe
Removed Logic.skip_flexpairs.
2002-10-21, by berghofe
Replaced variantlist (quadratic) by gen_names (linear).
2002-10-21, by berghofe
Removed add_env because Vartab.map was too slow for large environments.
2002-10-21, by berghofe
- removed flexpair
2002-10-21, by berghofe
No more explicit manipulation of flex-flex constraints in metahyps_aux_tac.
2002-10-21, by berghofe
Removed flexpair_def.
2002-10-21, by berghofe
Removed Logic.strip_flexpairs.
2002-10-21, by berghofe
No more explicit manipulation of flex-flex constraints in goals_conv.
2002-10-21, by berghofe
Changed type of Logic.strip_horn.
2002-10-21, by berghofe
Removed obsolete functions dealing with flex-flex constraints.
2002-10-21, by berghofe
Changed handling of flex-flex constraints: now stored in separate
2002-10-21, by berghofe
Now applies standard' to "unfold" theorem (due to flex-flex constraints).
2002-10-21, by berghofe
Changed type of Logic.strip_horn.
2002-10-21, by berghofe
Tidying up. New primitives is_iterates and is_iterates_fm.
2002-10-18, by paulson
Mod due to: Added a few thms about UN/INT/{}/UNIV
2002-10-18, by nipkow
Added a few thms about UN/INT/{}/UNIV
2002-10-18, by nipkow
fixed comments and types
2002-10-17, by paulson
Cosmetic changes suggested by writing the paper. Deleted some
2002-10-17, by paulson
fixing the cut_tac method to work when there are no instantiations and the
2002-10-17, by paulson
alternative syntax
2002-10-15, by kleing
*** empty log message ***
2002-10-14, by nipkow
tidying and reorganization
2002-10-14, by paulson
Ported find_intro/elim to Isar.
2002-10-14, by nipkow
norm_typ -> Envir.norm_type
2002-10-11, by berghofe
*** empty log message ***
2002-10-10, by nipkow
*** empty log message ***
2002-10-10, by nipkow
added failure trace information to pattern unification
2002-10-10, by nipkow
Reimplemented parts of datatype package dealing with datatypes involving
2002-10-10, by berghofe
Added list_all.
2002-10-10, by berghofe
Removed obsolete function "fun_rel_comp".
2002-10-10, by berghofe
Added choice_eq.
2002-10-10, by berghofe
- Added range_ex1_eq
2002-10-10, by berghofe
Removed obsolete function "Funs".
2002-10-10, by berghofe
Added functions Suml and Sumr which are useful for constructing
2002-10-10, by berghofe
Re-organization of Constructible theories
2002-10-09, by paulson
type safety with defensive machine
2002-10-08, by kleing
defensive machine
2002-10-08, by kleing
defensive machine without obj init and jsr
2002-10-08, by kleing
Got rid of rotates because of new simplifier
2002-10-08, by nipkow
take/drop -> splitAt
2002-10-07, by nipkow
Various simplifications of the Constructible theories
2002-10-04, by paulson
Fixed bug involving inductive definitions with equalities in the premises.
2002-10-04, by paulson
Fixed bug involving inductive definitions having equalities in the premises,
2002-10-04, by paulson
Documented new "asm_lr" option for simp.
2002-10-04, by berghofe
added the new elim rule psubsetE
2002-10-03, by paulson
*** empty log message ***
2002-10-03, by nipkow
*** empty log message ***
2002-10-02, by nipkow
less
more
|
(0)
-10000
-3000
-1000
-300
-100
-60
+60
+100
+300
+1000
+3000
+10000
+30000
tip