Mercurial
Mercurial
>
repos
>
isabelle
/ graph
summary
|
shortlog
|
changelog
| graph |
tags
|
bookmarks
|
branches
|
files
|
gz
|
help
less
more
|
(0)
-10000
-3000
-1000
-300
-100
-50
-30
+30
+50
+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.
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
less
more
|
(0)
-10000
-3000
-1000
-300
-100
-50
-30
+30
+50
+100
+300
+1000
+3000
+10000
+30000
tip